xen_smp_intr_free_pv 1442 arch/x86/xen/enlighten_pv.c 	xen_smp_intr_free_pv(cpu);
xen_smp_intr_free_pv   16 arch/x86/xen/smp.h void xen_smp_intr_free_pv(unsigned int cpu);
xen_smp_intr_free_pv  147 arch/x86/xen/smp_pv.c 	xen_smp_intr_free_pv(cpu);