Symbol: arch_counter_mmio_get_cnt
drivers/clocksource/arm_arch_timer_mmio.c
137
return arch_counter_mmio_get_cnt(at);
drivers/clocksource/arm_arch_timer_mmio.c
170
cnt = arch_counter_mmio_get_cnt(timer);