functionclock_frequency() Returns the number of ticks per second for the clock used in clock_now().
functionclock_now() Returns the current value of the OS's highest-resolution monotonic clock. On modern hardware, these typically map to hardware instructions (RDTSC/CNTVCT_EL0) via user-mode shared pages, avoiding a heavy syscall context switch.