frame_to_window_pixel_xy 14674 src/xdisp.c      frame_to_window_pixel_xy (w, &x, &y);
frame_to_window_pixel_xy 15614 src/xdisp.c      frame_to_window_pixel_xy (w, &x, &y);
frame_to_window_pixel_xy 35212 src/xdisp.c      frame_to_window_pixel_xy (w, &x, &y);