1 2 3 4 5 6 7 8 9 10 11
int mach_error_expected = 0; void nmi_isr(void) { if( mach_error_expected) { mach_error_expected = 0; } else{ kkprintf("NMI Interrupt Occured \n"); } }