xen_teardown_timer  173 arch/x86/xen/enlighten_hvm.c 		xen_teardown_timer(cpu);
xen_teardown_timer 1444 arch/x86/xen/enlighten_pv.c 	xen_teardown_timer(cpu);
xen_teardown_timer   54 arch/x86/xen/smp_hvm.c 		xen_teardown_timer(cpu);
xen_teardown_timer  423 arch/x86/xen/smp_pv.c 		xen_teardown_timer(cpu);
xen_teardown_timer  336 arch/x86/xen/time.c 		xen_teardown_timer(cpu);
xen_teardown_timer   68 arch/x86/xen/xen-ops.h void xen_teardown_timer(int cpu);