FRAME_TO_WINDOW_PIXEL_Y 6184 src/keyboard.c 		    y = FRAME_TO_WINDOW_PIXEL_Y (menu_w, XFIXNUM (event->y));
FRAME_TO_WINDOW_PIXEL_Y 2454 src/xdisp.c          *y = FRAME_TO_WINDOW_PIXEL_Y (w, *y);
FRAME_TO_WINDOW_PIXEL_Y 2459 src/xdisp.c          *y = FRAME_TO_WINDOW_PIXEL_Y (w, *y);