xen_setup_timer   301 arch/x86/xen/smp.c 	xen_setup_timer(cpu);
xen_setup_timer   501 arch/x86/xen/time.c 	xen_setup_timer(cpu);
xen_setup_timer    36 arch/x86/xen/xen-ops.h void xen_setup_timer(int cpu);