PPC_MSG_NMI_IPI
[PPC_MSG_NMI_IPI] = nmi_ipi_action,
[PPC_MSG_NMI_IPI] = "nmi ipi",
if (msg < 0 || msg > PPC_MSG_NMI_IPI)
if (msg == PPC_MSG_NMI_IPI)
if (all & IPI_MESSAGE(PPC_MSG_NMI_IPI))
do_message_pass(cpu, PPC_MSG_NMI_IPI);
do_message_pass(c, PPC_MSG_NMI_IPI);
BUILD_BUG_ON(PPC_MSG_NMI_IPI != 3);
ps3_register_ipi_debug_brk(cpu, virqs[PPC_MSG_NMI_IPI]);