/* The kernel is broken so disable interrupts */ local_irq_disable(); nmi_shootdown_cpus(); 
void machine_crash_shutdown(void){	/* This function is only called after the system	 * has paniced or is otherwise in a critical state.	 * The minimum amount of code to allow a kexec'd kernel	 * to run successfully needs to happen here.	 *	 * In practice this means shooting down the other cpus in	 * an SMP system.	 */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c4ac4263a019c791e906f284bb03891d3c25a845/crash.c/clean/arch/i386/kernel/crash.c