FRAME_TO_WINDOW_PIXEL_X 6028 src/keyboard.c 		    x = FRAME_TO_WINDOW_PIXEL_X (menu_w, XFIXNUM (event->x));
FRAME_TO_WINDOW_PIXEL_X 30661 src/xdisp.c        x_reached = FRAME_TO_WINDOW_PIXEL_X (w, x_reached);