Searched refs:xen_setup_timer (Results 1 – 4 of 4) sorted by relevance
66 void xen_setup_timer(int cpu);
336 void xen_setup_timer(int cpu) in xen_setup_timer() function514 xen_setup_timer(cpu); in xen_time_init()
190 xen_setup_timer(cpu); in xen_cpu_up_prepare_hvm()
1441 xen_setup_timer(cpu); in xen_cpu_up_prepare_pv()