Symbol: PPC_IPI_NOP
sys/arch/macppc/dev/openpic.c
738
case PPC_IPI_NOP:
sys/arch/macppc/macppc/machdep.c
820
ppc_send_ipi(ci, PPC_IPI_NOP);