mainbus_send_ipi   56 kern/include/mainbus.h void mainbus_send_ipi(struct cpu *target);
mainbus_send_ipi 1125 kern/thread/thread.c 	mainbus_send_ipi(target);
mainbus_send_ipi 1160 kern/thread/thread.c 	mainbus_send_ipi(target);