Comment by namibj

Just to correct you: `clock_gettime` is handled by the vDSO, and does not involve an actual syscall for over a decade now.