Searched refs:xen_timer_cpu_frequency (Results 1 – 1 of 1) sorted by relevance
536 static uint64_t xen_timer_cpu_frequency(void) in xen_timer_cpu_frequency() function556 pts->frequency = xen_timer_cpu_frequency(); in init_xen_timer()
Completed in 6 milliseconds