Searched refs:send_IPI_mask_bitmask (Results 1 – 1 of 1) sorted by relevance
158 static inline void send_IPI_mask_bitmask(int mask, int vector) in send_IPI_mask_bitmask() function242 send_IPI_mask_bitmask(mask, vector); in send_IPI_mask()