136 static void send_ipi_dest(unsigned int cpu, unsigned int vector, bool nmi)  in send_ipi_dest()  argument
138 	if (nmi)  in send_ipi_dest()
144 static void send_ipi_allbut(unsigned int vector, bool nmi)  in send_ipi_allbut()  argument
155 		send_ipi_dest(cpu, vector, nmi);  in send_ipi_allbut()
159 static inline void self_ipi(unsigned int vector, bool nmi)  in self_ipi()  argument
163 	if (nmi)  in self_ipi()
173 	bool nmi;  in savic_icr_write()  local
177 	nmi = ((icr_low & APIC_DM_FIXED_MASK) == APIC_DM_NMI);  in savic_icr_write()
181 		self_ipi(vector, nmi);  in savic_icr_write()
184 		self_ipi(vector, nmi);  in savic_icr_write()
187 		send_ipi_allbut(vector, nmi);  in savic_icr_write()
190 		send_ipi_dest(icr_high, vector, nmi);  in savic_icr_write()