arch_counter_get_cntvct
u64 (*arch_timer_read_counter)(void) __ro_after_init = arch_counter_get_cntvct;
rd = arch_counter_get_cntvct;
scr = arch_counter_get_cntvct;