nmi.c

RTEMS (Real-Time Executive for Multiprocessor Systems) is a free open source real-time operating sys

/*
 *  $Id: nmi.c,v 1.2 1999/10/27 16:27:34 joel Exp $
 */

int mach_error_expected = 0;
void nmi_isr(void)
{
	if( mach_error_expected)
	{
	 	mach_error_expected = 0;
	}
	else{
		kkprintf("NMI Interrupt Occured \n");
	}
}