If during boot, ACPI checksum failures disable ACPI support in Xen,
pass 'acpi=off' to the domain 0 kernel to avoid a fatal page fault
as domain 0 attempts to access the uninitialized ACPI tables.
Signed-off-by: David Lively <dlively@virtualiron.com>
Signed-off-by: Steve Ofsthun <sofsthun@virtualiron.com>
xen-unstable changeset: 16144:
975811798ffe
xen-unstable date: Fri Oct 19 17:47:12 2007 +0100
if ( acpi_skip_timer_override &&
!strstr(dom0_cmdline, "acpi_skip_timer_override") )
safe_strcat(dom0_cmdline, " acpi_skip_timer_override");
+ if ( (strlen(acpi_param) == 0) && acpi_disabled )
+ {
+ printk("ACPI is disabled, notifying Domain 0 (acpi=off)\n");
+ safe_strcpy(acpi_param, "off");
+ }
if ( (strlen(acpi_param) != 0) && !strstr(dom0_cmdline, "acpi=") )
{
safe_strcat(dom0_cmdline, " acpi=");