Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

2017-01-17 Thread Jan Beulich
>>> On 14.12.16 at 14:15, wrote: > On 14/12/16 12:58, Jan Beulich wrote: > On 14.12.16 at 12:12, wrote: >>> When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the >>> EFI runtime instead of rebooting. >> Has it been understood what the #GP is due to? I.e. is it namely >> not b

Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

2016-12-14 Thread Andrew Cooper
On 14/12/16 13:21, Jan Beulich wrote: On 14.12.16 at 14:15, wrote: >> On 14/12/16 12:58, Jan Beulich wrote: >> On 14.12.16 at 12:12, wrote: When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the EFI runtime instead of rebooting. >>> Has it been understood what t

Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

2016-12-14 Thread Andrew Cooper
On 14/12/16 12:58, Jan Beulich wrote: On 14.12.16 at 12:12, wrote: >> When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the >> EFI runtime instead of rebooting. > Has it been understood what the #GP is due to? I.e. is it namely > not because of a mis-aligned SSE instruction m

Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

2016-12-14 Thread Jan Beulich
>>> On 14.12.16 at 12:12, wrote: > When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the > EFI runtime instead of rebooting. Has it been understood what the #GP is due to? I.e. is it namely not because of a mis-aligned SSE instruction memory reference? Jan

Re: [Xen-devel] [PATCH] x86: Use ACPI reboot method for Dell OptiPlex 9020

2016-12-14 Thread Andrew Cooper
On 14/12/16 11:12, Ross Lagerwall wrote: > When EFI booting the Dell OptiPlex 9020, it sometimes GP faults in the > EFI runtime instead of rebooting. Quirk this hardware to use the ACPI > reboot method instead. > > dmidecode info: > > BIOS Information > Vendor: Dell Inc. > Version: A15 >