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);