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.	 */}