window-header-line-height

window-header-line-height is a built-in function in `C source code'.

(window-header-line-height &optional WINDOW)

Return the height in pixels of WINDOW's header-line.
WINDOW must be a live window and defaults to the selected one.