Skipping the interrupted instruction will accomplish nothing other
than turning a spurious interrupt into a crash.
External interrupts are not machine checks, so don't count them as such.
Signed-off-by: Scott Wood <scottwood@freescale.com>
               regs->nip, regs->msr, regs->trap);
        _exception(0, regs);
 }
+
 void
 ExtIntException(struct pt_regs *regs)
 {
        printf(" irq IACK0@%05x=%d\n",(int)&pic->iack0,vect);
        show_regs(regs);
        print_backtrace((unsigned long *)regs->gpr[1]);
-       machinecheck_count++;
-#ifdef EXTINT_NOSKIP
-       printf("Returning back to 0x%08x\n",regs->nip);
-#else
-       regs->nip += 4; /* skip offending instruction */
-       printf("Skipping current instr, Returning to 0x%08lx\n",regs->nip);
-#endif
-
 }
 
 void