Searched defs:dest_mask (Results 1 – 3 of 3) sorted by relevance
49 uint32_t dest_mask; member
173 void __default_send_IPI_dest_field(unsigned int dest_mask, int vector, in __default_send_IPI_dest_field()
274 unsigned int dest_mask; member