FRAME_TOP_MARGIN_HEIGHT 2680 src/androidfns.c 	  y = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT  179 src/androidterm.c 			       + FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT  233 src/androidterm.c 			       + FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 4243 src/androidterm.c       int margin = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT  804 src/frame.c           == FRAME_TOP_MARGIN_HEIGHT (f))
FRAME_TOP_MARGIN_HEIGHT  864 src/frame.c          || WINDOW_TOP_PIXEL_EDGE (r) != FRAME_TOP_MARGIN_HEIGHT (f))
FRAME_TOP_MARGIN_HEIGHT 1736 src/frame.h       + FRAME_TOP_MARGIN_HEIGHT (f)		   \
FRAME_TOP_MARGIN_HEIGHT 1743 src/frame.h      (((y) < FRAME_TOP_MARGIN_HEIGHT (f)					\
FRAME_TOP_MARGIN_HEIGHT 1745 src/frame.h        : ((y) < (FRAME_TOP_MARGIN_HEIGHT (f)				\
FRAME_TOP_MARGIN_HEIGHT 1747 src/frame.h           ? (y) - (FRAME_TOP_MARGIN_HEIGHT (f)				\
FRAME_TOP_MARGIN_HEIGHT 4176 src/haikuterm.c 			 + FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 4222 src/haikuterm.c 			 + FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 4482 src/haikuterm.c       int margin = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 3765 src/pgtkterm.c 			+ FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 4953 src/pgtkterm.c       int margin = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 1559 src/w32fns.c   	  w32_fill_area (f, hdc, color, 0, FRAME_TOP_MARGIN_HEIGHT (f),
FRAME_TOP_MARGIN_HEIGHT 1568 src/w32fns.c   	  w32_clear_area (f, hdc, 0, FRAME_TOP_MARGIN_HEIGHT (f),
FRAME_TOP_MARGIN_HEIGHT 4856 src/window.c         && (horflag || r->pixel_top == FRAME_TOP_MARGIN_HEIGHT (f)))
FRAME_TOP_MARGIN_HEIGHT 4869 src/window.c   	  r->pixel_top = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 4885 src/window.c   	  r->pixel_top = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 1729 src/xfns.c     	  y = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 7693 src/xterm.c          int margin = FRAME_TOP_MARGIN_HEIGHT (f);
FRAME_TOP_MARGIN_HEIGHT 11437 src/xterm.c    		       + FRAME_TOP_MARGIN_HEIGHT (f)),
FRAME_TOP_MARGIN_HEIGHT 11492 src/xterm.c    		       + FRAME_TOP_MARGIN_HEIGHT (f)),