Revision 79c4f6b0 cpu-exec.c

b/cpu-exec.c
400 400
                            env->hflags2 |= HF2_NMI_MASK;
401 401
                            do_interrupt(EXCP02_NMI, 0, 0, 0, 1);
402 402
                            next_tb = 0;
403
			} else if (interrupt_request & CPU_INTERRUPT_MCE) {
404
                            env->interrupt_request &= ~CPU_INTERRUPT_MCE;
405
                            do_interrupt(EXCP12_MCHK, 0, 0, 0, 0);
406
                            next_tb = 0;
403 407
                        } else if ((interrupt_request & CPU_INTERRUPT_HARD) &&
404 408
                                   (((env->hflags2 & HF2_VINTR_MASK) && 
405 409
                                     (env->hflags2 & HF2_HIF_MASK)) ||

Also available in: Unified diff