Rob Bradford aae5d988e1 devices: vmm: Add ACPI PM timer ... This is a counter exposed via an I/O port that runs at 3.579545MHz. Here we use a hardcoded I/O and expose the details through the FADT table. TEST=Boot Linux kernel and see the following in dmesg: [ 0.506198] clocksource: acpi_pm: mask: 0xffffff max_cycles: 0xffffff, max_idle_ns: 2085701024 ns Signed-off-by: Rob Bradford <robert.bradford@intel.com>		2020-07-23 13:10:21 +01:00
..
legacy	devices: cmos: Populate Update in Progress bit (UIP)	2020-07-22 09:57:46 +02:00
acpi.rs	devices: vmm: Add ACPI PM timer	2020-07-23 13:10:21 +01:00
bus.rs	devices: Add new method to remove all occurrences of a BusDevice	2020-03-10 17:05:06 +00:00
gic.rs	devices: Implement InterruptController on AArch64	2020-05-26 11:09:19 +02:00
interrupt_controller.rs	devices: Implement InterruptController on AArch64	2020-05-26 11:09:19 +02:00
ioapic.rs	pci: Enable GSI routing (MSI type) for AArch64	2020-07-14 14:34:54 +01:00
lib.rs	devices: vmm: Add ACPI PM timer	2020-07-23 13:10:21 +01:00