Searched defs:dest_mask (Results 1 – 2 of 2) sorted by relevance
174 void __default_send_IPI_dest_field(unsigned int dest_mask, int vector, in __default_send_IPI_dest_field()
274 unsigned int dest_mask; member