- 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: NStefan Fritsch <sf@sfritsch.de>
Signed-off-by: NMarcelo Tosatti <mtosatti@redhat.com>