read_cpu_counter

Returns a fast, monotonic tick count for timing short spans. Ticks are not seconds and the rate varies by machine, so compare readings only with each other.

start := read_cpu_counter();
stop := read_cpu_counter();
assert(stop >= start);

read_cpu_counter :: () -> u64