frame_to_window_pixel_xy 14710 src/xdisp.c      frame_to_window_pixel_xy (w, &x, &y);
frame_to_window_pixel_xy 14744 src/xdisp.c      frame_to_window_pixel_xy (w, &x, &y);
frame_to_window_pixel_xy 15761 src/xdisp.c      frame_to_window_pixel_xy (w, &x, &y);
frame_to_window_pixel_xy 35519 src/xdisp.c      frame_to_window_pixel_xy (w, &x, &y);