#define PPC_INST_LWSYNC                        0x7c2004ac
 #define PPC_INST_SYNC                  0x7c0004ac
 #define PPC_INST_SYNC_MASK             0xfc0007fe
-#define PPC_INST_ISYNC                 0x4c00012c
 #define PPC_INST_MCRXR                 0x7c000400
 #define PPC_INST_MCRXR_MASK            0xfc0007fe
 #define PPC_INST_MFSPR_PVR             0x7c1f42a6
 
 #include <asm/kprobes.h>
 #include <asm/stacktrace.h>
 #include <asm/nmi.h>
+#include <asm/disassemble.h>
 
 #if defined(CONFIG_DEBUGGER) || defined(CONFIG_KEXEC_CORE)
 int (*__debugger)(struct pt_regs *regs) __read_mostly;
                 * For the debug message, we look at the preceding
                 * load or store.
                 */
-               if (*nip == PPC_INST_NOP)
+               if (*nip == PPC_RAW_NOP())
                        nip -= 2;
-               else if (*nip == PPC_INST_ISYNC)
+               else if (*nip == PPC_RAW_ISYNC())
                        --nip;
-               if (*nip == PPC_INST_SYNC || (*nip >> 26) == OP_TRAP) {
+               if (*nip == PPC_RAW_SYNC() || get_op(*nip) == OP_TRAP) {
                        unsigned int rb;
 
                        --nip;