Searched refs:xen_teardown_timer (Results 1 – 3 of 3) sorted by relevance
62 void xen_teardown_timer(int cpu);
414 void xen_teardown_timer(int cpu) in xen_teardown_timer() function434 xen_teardown_timer(cpu); in xen_setup_timer()
505 xen_teardown_timer(cpu); in xen_cpu_die()