> #ifdef CONFIG_ACPI > - /* All timer overrides on Nvidia > - seem to be wrong. Skip them. */ > - acpi_skip_timer_override = 1; > - printk(KERN_INFO > - "Nvidia board detected. Ignoring ACPI timer override.\n"); > + /* > + * All timer overrides on Nvidia are > + * wrong unless HPET is enabled. > + */ > + nvidia_hpet_detected = 0; > + acpi_table_parse(ACPI_HPET, > + nvidia_hpet_check); I'm not sure it's safe to call acpi_table_parse() when the user passed acpi=off Better would be probably to set a flag in the HPET callback in arch/i386/kernel/acpi/boot.c -Andi - To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
