xen_teardown_timer  359 arch/x86/xen/smp.c 	xen_teardown_timer(cpu);
xen_teardown_timer   37 arch/x86/xen/xen-ops.h void xen_teardown_timer(int cpu);