On Friday 09 February 2007 12:14, James Morris wrote: > On Fri, 9 Feb 2007, Len Brown wrote: > > > On Friday 09 February 2007 05:57, Rusty Russell wrote: > > > > > +#ifdef CONFIG_ACPI > > > + acpi_disabled = 1; > > > + acpi_ht = 0; > > > +#endif > > > > If this is hard-coded to have ACPI disabled, why isn't it enforced at build-time? > > This is being disabled in the guest kernel only. The host and guest > kernels are expected to be the same build. Okay, but better to use disable_acpi() indeed, since this would be the first code not already inside CONFIG_ACPI to invoke disable_acpi(), we could define the inline as empty and you could then scratch the #ifdef too. cheers, -Len
