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
..
src	devices: vmm: Add ACPI PM timer	2020-07-23 13:10:21 +01:00
Cargo.toml	build(deps): bump libc from 0.2.72 to 0.2.73	2020-07-20 05:15:24 +00:00