x_sync_current_monotonic_time 7170 src/xterm.c      FRAME_X_OUTPUT (f)->temp_frame_time = x_sync_current_monotonic_time ();
x_sync_current_monotonic_time 8016 src/xterm.c          monotonic_time = x_sync_current_monotonic_time ();
x_sync_current_monotonic_time 28317 src/xterm.c          current_monotonic_time = x_sync_current_monotonic_time ();