879238fecc
- mention that system time needs to be added to wallclock time - positive tsc_shift means left shift, not right - mention additional 32bit right shift Signed-off-by: Stefan Fritsch <sf@sfritsch.de> Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com> |
||
---|---|---|
.. | ||
api.txt | ||
cpuid.txt | ||
hypercalls.txt | ||
locking.txt | ||
mmu.txt | ||
msr.txt | ||
nested-vmx.txt | ||
ppc-pv.txt | ||
review-checklist.txt | ||
timekeeping.txt |