1472b87f2f
- use clock_gettime(2) as the time base for the emulated ACPI timer instead of directly using rdtsc(). - don't advertise the invariant TSC capability to the guest to discourage it from using the TSC as its time base. Discussed with: jhb@ (about making 'smp_tsc' a global) Reported by: Dan Mack on freebsd-virtualization@ Obtained from: NetApp |
||
---|---|---|
.. | ||
busdma_machdep.c | ||
dump_machdep.c | ||
intr_machdep.c | ||
io_apic.c | ||
legacy.c | ||
local_apic.c | ||
mca.c | ||
mptable_pci.c | ||
mptable.c | ||
msi.c | ||
nexus.c | ||
tsc.c |