Searched refs:__send_IPI_many (Results 1 – 1 of 1) sorted by relevance
39 static void __send_IPI_many(HV_Recipient *recip, int nrecip, int tag) in __send_IPI_many() function62 __send_IPI_many(&recip, 1, tag); in send_IPI_single()79 __send_IPI_many(recip, nrecip, tag); in send_IPI_many()