x2apic_send_IPI_mask   59 arch/x86/kernel/genx2apic_cluster.c static void x2apic_send_IPI_mask(cpumask_t mask, int vector)
x2apic_send_IPI_mask   57 arch/x86/kernel/genx2apic_phys.c static void x2apic_send_IPI_mask(cpumask_t mask, int vector)