Searched defs:psm_send_ipi (Results 1 – 1 of 1) sorted by relevance
161 void (*psm_send_ipi)(processorid_t cpun, int ipl); member298 void (*psm_send_ipi)(processorid_t cpun, int ipl); member