void machine_crash_shutdown(void) 
void machine_crash_shutdown(struct pt_regs *regs) 
void machine_crash_shutdown(void){	if (ppc_md.machine_crash_shutdown) {		ppc_md.machine_crash_shutdown();	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6e274d144302068a00794ec22e73520c0615cb6f/machine_kexec.c/clean/arch/ppc/kernel/machine_kexec.c