Searched defs:dest_shorthand (Results 1 – 2 of 2) sorted by relevance
5 … uint32_t vector, uint32_t deliver_mode, uint32_t dest_shorthand, uint32_t destination) in ipi_send_IPI()
130 dest_shorthand : 2, // 18~19 member