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