w32_display_pixel_height 6329 src/w32fns.c     return make_fixnum (w32_display_pixel_height (dpyinfo));
w32_display_pixel_height 6403 src/w32fns.c     return make_fixnum (w32_display_pixel_height (dpyinfo) * mm_per_pixel + 0.5);
w32_display_pixel_height 6594 src/w32fns.c     pixel_height = w32_display_pixel_height (dpyinfo);
w32_display_pixel_height 7227 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 *);