Symbol: I386_IPI_NOP
sys/arch/i386/i386/machdep.c
2566
i386_send_ipi(ci, I386_IPI_NOP);
sys/arch/i386/i386/machdep.c
2572
i386_send_ipi(ci, I386_IPI_NOP);
sys/arch/i386/i386/machdep.c
2603
i386_send_ipi(ci, I386_IPI_NOP);