xen_smp_intr_init 192 arch/x86/xen/smp.c if (xen_smp_intr_init(0)) xen_smp_intr_init 316 arch/x86/xen/smp.c rc = xen_smp_intr_init(cpu);