Searched refs:send_IPI_mask_sequence (Results 1 – 1 of 1) sorted by relevance
191 static inline void send_IPI_mask_sequence(int mask, int vector) in send_IPI_mask_sequence() function240 send_IPI_mask_sequence(mask, vector); in send_IPI_mask()