Searched defs:pic_send_ipi (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/sys/mips/rmi/
H A Dpic.h200 void pic_send_ipi(int cpu, int ipi) function

Completed in 154 milliseconds