This simply reads the current cycle count from the cycle CSR. x86-64 uses the similar rdtsc instruction here, which also may or may not tick at a constant rate.
TimeManagement
ConsoleDevice