Searched refs:send_ipi_dest (Results 1 – 1 of 1) sorted by relevance
136 static void send_ipi_dest(unsigned int cpu, unsigned int vector, bool nmi) in send_ipi_dest() function155 send_ipi_dest(cpu, vector, nmi); in send_ipi_allbut()190 send_ipi_dest(icr_high, vector, nmi); in savic_icr_write()