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