Alexander Motin d46bdcabdb Handle case when ACPI reports HPET device, but does not provide memory ...

resource for it.  In such case take the address range from the HPET table.

This fixes hpet(4) driver attach on Asrock C2750D4I board.

2013-11-15 11:32:19 +00:00

..

Osd

…

acpi_acad.c

…

acpi_battery.c

…

acpi_button.c

…

acpi_cmbat.c

…

acpi_cpu.c

…

acpi_dock.c

…

acpi_ec.c

…

acpi_hpet.c

Handle case when ACPI reports HPET device, but does not provide memory

2013-11-15 11:32:19 +00:00

acpi_hpet.h

…

acpi_if.m

…

acpi_isab.c

…

acpi_lid.c

…

acpi_package.c

…

acpi_pci_link.c

…

acpi_pci.c

…

acpi_pcib_acpi.c

…

acpi_pcib_pci.c

…

acpi_pcib.c

…

acpi_pcibvar.h

…

acpi_perf.c

…

acpi_powerres.c

…

acpi_quirk.c

…

acpi_quirks

…

acpi_resource.c

…

acpi_smbat.c

…

acpi_smbus.h

…

acpi_thermal.c

…

acpi_throttle.c

…

acpi_timer.c

…

acpi_video.c

…

acpi.c

…

acpiio.h

…

acpivar.h

…