xen_smp_intr_init
rc = xen_smp_intr_init(cpu);
rc = xen_smp_intr_init(cpu);
WARN_ON(xen_smp_intr_init(0));
if (xen_smp_intr_init(0) || xen_smp_intr_init_pv(0))
extern int xen_smp_intr_init(unsigned int cpu);