/* Do not allocate memory (or fail in any way) in machine_kexec(). We are past the point of no return, committed to rebooting now.  */
void machine_kexec(struct kimage *image)
/* Do not allocate memory (or fail in any way) in machine_kexec(). We are past the point of no return, committed to rebooting now.  */
void machine_kexec(struct kimage *image)
{
	if (ppc_md.machine_kexec)
		ppc_md.machine_kexec(image);
	else
		default_machine_kexec(image);
	machine_restart(NULL);
	for(;;);
}