/* Undo anything leftover by machine_kexec_prepare when an image is freed.  */
void machine_kexec_cleanup(struct kimage *image)
/* Undo anything leftover by machine_kexec_prepare when an image is freed.  */
void machine_kexec_cleanup(struct kimage *image)
{
	set_pages_nx(image->control_code_page, 1);
	machine_kexec_free_page_tables(image);
}