_flat_send_IPI_mask 64 arch/x86/kernel/apic/apic_flat_64.c _flat_send_IPI_mask(mask, vector); _flat_send_IPI_mask 76 arch/x86/kernel/apic/apic_flat_64.c _flat_send_IPI_mask(mask, vector);