Searched defs:destination (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()
143 } destination; member179 } destination; member