_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);