Searched refs:arch_timer_read_cntpct_el0 (Results 1 – 2 of 2) sorted by relevance
65 static inline notrace u64 arch_timer_read_cntpct_el0(void) in arch_timer_read_cntpct_el0() function
489 val = arch_timer_read_cntpct_el0(); in kvm_hyp_handle_cntpct()