pc64: Make read_apic_timer() return remaining time in microseconds.
authorImre Vadász <imre@vdsz.com>
Sun, 27 Aug 2017 15:03:32 +0000 (17:03 +0200)
committerImre Vadász <imre@vdsz.com>
Mon, 4 Sep 2017 21:00:58 +0000 (23:00 +0200)
commit1a8f6d13f52defd25f3e71cd27f459cbc6b43eac
tree708e240bd9405252305c505bb49c9c9d8a9d9b0d
parent242fd95fc3bfeffee12345fa80766370654d2109
pc64: Make read_apic_timer() return remaining time in microseconds.

* This makes it easier to optionally use the TSC Deadline Mode in the lapic,
  since we no longer need or want to calibrate the lapic timer in that case.
sys/platform/pc64/apic/lapic.c
sys/platform/pc64/x86_64/mp_machdep.c