u64 monotonic(void)
{
    u64 val;
    asm volatile("mrs %0, cntvct_el0" : "=r" (val));

    return val;
}