xen_setup_timer   158 arch/x86/xen/enlighten_hvm.c 		xen_setup_timer(cpu);
xen_setup_timer  1420 arch/x86/xen/enlighten_pv.c 	xen_setup_timer(cpu);
xen_setup_timer   510 arch/x86/xen/time.c 	xen_setup_timer(cpu);
xen_setup_timer    66 arch/x86/xen/xen-ops.h void xen_setup_timer(int cpu);