|
@@ -14,11 +14,8 @@
|
|
|
|
|
|
#ifdef CONFIG_ACPI
|
|
#ifdef CONFIG_ACPI
|
|
|
|
|
|
-static int nvidia_hpet_detected __initdata;
|
|
|
|
-
|
|
|
|
static int __init nvidia_hpet_check(struct acpi_table_header *header)
|
|
static int __init nvidia_hpet_check(struct acpi_table_header *header)
|
|
{
|
|
{
|
|
- nvidia_hpet_detected = 1;
|
|
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|
|
#endif
|
|
#endif
|
|
@@ -29,9 +26,7 @@ static int __init check_bridge(int vendor, int device)
|
|
/* According to Nvidia all timer overrides are bogus unless HPET
|
|
/* According to Nvidia all timer overrides are bogus unless HPET
|
|
is enabled. */
|
|
is enabled. */
|
|
if (!acpi_use_timer_override && vendor == PCI_VENDOR_ID_NVIDIA) {
|
|
if (!acpi_use_timer_override && vendor == PCI_VENDOR_ID_NVIDIA) {
|
|
- nvidia_hpet_detected = 0;
|
|
|
|
- acpi_table_parse(ACPI_SIG_HPET, nvidia_hpet_check);
|
|
|
|
- if (nvidia_hpet_detected == 0) {
|
|
|
|
|
|
+ if (acpi_table_parse(ACPI_SIG_HPET, nvidia_hpet_check) {
|
|
acpi_skip_timer_override = 1;
|
|
acpi_skip_timer_override = 1;
|
|
printk(KERN_INFO "Nvidia board "
|
|
printk(KERN_INFO "Nvidia board "
|
|
"detected. Ignoring ACPI "
|
|
"detected. Ignoring ACPI "
|