} 
void machine_kexec_cleanup(struct kimage *image){	if (ppc_md.machine_kexec_cleanup) {		ppc_md.machine_kexec_cleanup(image);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/72414d3f1d22fc3e311b162fca95c430048d38ce/machine_kexec.c/clean/arch/ppc/kernel/machine_kexec.c