Symbol: arch_timer_read_cntpct_el0
arch/arm64/include/asm/arch_timer.h
181
u64 cnt = arch_timer_read_cntpct_el0();
arch/arm64/kvm/hyp/include/hyp/switch.h
724
return arch_timer_read_cntpct_el0() - hyp_timer_get_offset(ctxt);