Re: [PATCH] Use BIOS reboot on Toshiba Portege 4000

[Avi Kivity <avi@redhat.com>]

Ingo Molnar wrote:
>> Subject: [PATCH] Use BIOS reboot on Toshiba Portege 4000
>>
>> From: Andrey Borzenkov <arvidjaar@mail.ru>
>>
>> After commit c7ffa6c26277b403920e2255d10df849bd613380 which defaults
>> to reboot via ACPI keyboard is dead on Toshiba Portege 4000 upon reboot.
>> Power off is required to revive it again. Add DMI entry to force BIOS
>> reboot method as it was before.
>>
>> Signed-off-by: Andrey Borzenkov <arvidjaar@mail.ru>
>>     
>
> Avi, i expect more boxes to be affected by this bug, and the DMI 
> solution just does not scale.
>
> So could we please disable VMX from the emergency-shutdown code 
> instead of twiddling with the reboot method?
>
> Something like this might work as well: iff VMX is enabled, we just do 
> smp_send_stop() (instead of skipping it) which should take care of 
> this.
>   

There is already some code being worked on for kdump (which suffers from 
the same symptoms), only kdump uses NMI IPIs for increased stopping 
power.  Eduardo, can you take a look at porting it to emergency reboot?

-- 
error compiling committee.c: too many arguments to function