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