__x2apic_send_IPI_dest   40 arch/x86/kernel/genx2apic_cluster.c static void __x2apic_send_IPI_dest(unsigned int apicid, int vector,
__x2apic_send_IPI_dest   44 arch/x86/kernel/genx2apic_phys.c static void __x2apic_send_IPI_dest(unsigned int apicid, int vector,