Re: [PATCH] x86, reboot: skip DMI checks if reboot set by user

H. Peter Anvin
2012-01-19T19:18:39Z

On 01/19/2012 11:14 AM, Michael D Labriola wrote:
>>
>> Yes, and such a patch would be appreciated.
>>
>> The reason it is as it is dates back to before the 32-64 bit
>> unification, as far as I know.
>>
>> (BIOS reboot is currently not supported on 64 bits, mainly.)
>
> Well, that does complicate it a bit. I'll gin something up and see what
> you think. I guess it will involve having an #ifdef CONFIG_X86_32 block
> inside a single dmi_table structure for the BIOS quirks.
>
> Actually, set_kbd_reboot is inside the current X86_32 only block, along
> with the one DMI callback that uses it. Is this correct?
>

Probably not, although I suspect most of the users of that are 32-bit
only systems.

-hpa

--
H. Peter Anvin, Intel Open Source Technology Center
I work for Intel. I don't speak on their behalf.