diff options
| author | msmith <msmith@FreeBSD.org> | 2001-08-05 23:20:32 +0000 |
|---|---|---|
| committer | msmith <msmith@FreeBSD.org> | 2001-08-05 23:20:32 +0000 |
| commit | 15636652cf3ce7d9f5cc04e3f0be1103efb4a070 (patch) | |
| tree | 8ebf11b21133f7f38e5724a89ea2cd22a2fbe715 /sys/dev/acpica/acpi_timer.c | |
| parent | 6ce4a14a008a9d729d516393345c1b4937562a3f (diff) | |
| download | FreeBSD-src-15636652cf3ce7d9f5cc04e3f0be1103efb4a070.zip FreeBSD-src-15636652cf3ce7d9f5cc04e3f0be1103efb4a070.tar.gz | |
The Intel 440MX ACPI timer seems to work properly, so add it to the list
here. Restructure slightly so that adding more devices is easier.
Submitted by: Jose Gabriel J Marcelino <gabriel@maquina.com>
Diffstat (limited to 'sys/dev/acpica/acpi_timer.c')
| -rw-r--r-- | sys/dev/acpica/acpi_timer.c | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/sys/dev/acpica/acpi_timer.c b/sys/dev/acpica/acpi_timer.c index 0b8eed1..b97223d 100644 --- a/sys/dev/acpica/acpi_timer.c +++ b/sys/dev/acpica/acpi_timer.c @@ -317,13 +317,20 @@ DRIVER_MODULE(acpi_timer_pci, pci, acpi_timer_pci_driver, acpi_timer_pci_devclas static int acpi_timer_pci_probe(device_t dev) { - if ((pci_get_vendor(dev) == 0x8086) && - (pci_get_device(dev) == 0x7113) && - (pci_get_revid(dev) >= 0x03)) { + int vendor, device, revid; + + vendor = pci_get_vendor(dev); + device = pci_get_device(dev); + revid = pci_get_revid(dev); + + if (((vendor == 0x8086) && (device == 0x7113) && (revid >= 0x03)) || /* PIIX4M */ + ((vendor == 0x8086) && (device == 0x719b)) || /* i440MX */ + 0) { + acpi_timer_timecounter.tc_get_timecount = acpi_timer_get_timecount; - acpi_timer_timecounter.tc_name = "ACPI-PIIX4M"; + acpi_timer_timecounter.tc_name = "ACPI-fast"; if (bootverbose) - device_printf(acpi_timer_dev, "PIIX4M or later detected, enabling ACPI timer optimisation\n"); + device_printf(acpi_timer_dev, "functional ACPI timer detected, enabling fast timecount interface\n"); } return(ENXIO); /* we never match anything */ |
