x_sync_current_monotonic_time 7226 src/xterm.c      FRAME_X_OUTPUT (f)->temp_frame_time = x_sync_current_monotonic_time ();
x_sync_current_monotonic_time 8074 src/xterm.c          monotonic_time = x_sync_current_monotonic_time ();
x_sync_current_monotonic_time 28501 src/xterm.c          current_monotonic_time = x_sync_current_monotonic_time ();