Re: [PATCH 5/6] x86: use reboot_type on EFI 32

[Ingo Molnar]

* Huang, Ying <ying.huang@xxxxxxxxx> wrote:

> This patch makes reboot_type of BOOT_EFI is used on i386 too. Because 
> correpsonding reboot code of i386 and x86_64 is merged.

> -#ifdef CONFIG_X86_64
>  	/* Setup for EFI runtime service */
>  	reboot_type = BOOT_EFI;
>  
> -#endif

thanks, applied.

	Ingo
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/