Searched refs:xen_teardown_timer (Results 1 – 3 of 3) sorted by relevance
69 void xen_teardown_timer(int cpu);
396 void xen_teardown_timer(int cpu) in xen_teardown_timer() function416 xen_teardown_timer(cpu); in xen_setup_timer()
531 xen_teardown_timer(cpu); in xen_cpu_die()