Searched refs:CNTPCT_EL0 (Results 1 – 3 of 3) sorted by relevance
16 return READ_SYSREG64(CNTPCT_EL0); in get_cycles()
295 #define CNTPCT_EL0 CNTPCT macro
65 d->arch.virt_timer_base.offset = READ_SYSREG64(CNTPCT_EL0); in domain_vtimer_init()
Completed in 5 milliseconds