Searched refs:timer_dt_clock_frequency (Results 1 – 3 of 3) sorted by relevance
29 extern uint32_t timer_dt_clock_frequency;
45 uint32_t __read_mostly timer_dt_clock_frequency; variable132 timer_dt_clock_frequency = rate; in preinit_dt_xen_time()
71 config->clock_frequency = timer_dt_clock_frequency; in domain_vtimer_init()
Completed in 4 milliseconds