w32_display_pixel_height 6362 src/w32fns.c     return make_fixnum (w32_display_pixel_height (dpyinfo));
w32_display_pixel_height 6436 src/w32fns.c     return make_fixnum (w32_display_pixel_height (dpyinfo) * mm_per_pixel + 0.5);
w32_display_pixel_height 6627 src/w32fns.c     pixel_height = w32_display_pixel_height (dpyinfo);
w32_display_pixel_height 7260 src/w32fns.c         max_y = w32_display_pixel_height (FRAME_DISPLAY_INFO (f));
w32_display_pixel_height 6632 src/w32term.c  	f->top_pos = (w32_display_pixel_height (FRAME_DISPLAY_INFO (f))
w32_display_pixel_height  246 src/w32term.h  extern int w32_display_pixel_height (struct w32_display_info *);