x_sync_current_monotonic_time 6995 src/xterm.c      FRAME_X_OUTPUT (f)->temp_frame_time = x_sync_current_monotonic_time ();
x_sync_current_monotonic_time 7800 src/xterm.c          monotonic_time = x_sync_current_monotonic_time ();
x_sync_current_monotonic_time 27708 src/xterm.c          current_monotonic_time = x_sync_current_monotonic_time ();