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