Searched refs:PPC_MSG_NMI_IPI (Results 1 – 2 of 2) sorted by relevance
68 BUILD_BUG_ON(PPC_MSG_NMI_IPI != 3); in ps3_smp_probe()87 ps3_register_ipi_debug_brk(cpu, virqs[PPC_MSG_NMI_IPI]); in ps3_smp_probe()
158 #define PPC_MSG_NMI_IPI 3 macro