x2apic_send_IPI    28 arch/x86/kernel/apic/x2apic_cluster.c static void x2apic_send_IPI(int cpu, int vector)
x2apic_send_IPI    36 arch/x86/kernel/apic/x2apic_phys.c static void x2apic_send_IPI(int cpu, int vector)