Symbol: I386_IPI_NOP
sys/arch/i386/i386/machdep.c
2583
i386_send_ipi(ci, I386_IPI_NOP);
sys/arch/i386/i386/machdep.c
2589
i386_send_ipi(ci, I386_IPI_NOP);
sys/arch/i386/i386/machdep.c
2620
i386_send_ipi(ci, I386_IPI_NOP);