Searched refs:CNTFRQ_EL0 (Results 1 – 2 of 2) sorted by relevance
147 cpu_khz = READ_SYSREG32(CNTFRQ_EL0) / 1000; in preinit_xen_time()
290 #define CNTFRQ_EL0 CNTFRQ macro
Completed in 4 milliseconds