Searched refs:xen_setup_timer (Results 1 – 3 of 3) sorted by relevance
387 void xen_setup_timer(int cpu) in xen_setup_timer() function467 xen_setup_timer(cpu); in xen_time_init()489 xen_setup_timer(cpu); in xen_hvm_setup_cpu_clockevents()
51 void xen_setup_timer(int cpu);
327 xen_setup_timer(cpu); in xen_cpu_up()