Angel Pons has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/45702 )
Change subject: include/cpu/x86/tsc: Fix rdtsc on x86_64 ......................................................................
Patch Set 1: Code-Review+1
(1 comment)
https://review.coreboot.org/c/coreboot/+/45702/1/src/include/cpu/x86/tsc.h File src/include/cpu/x86/tsc.h:
https://review.coreboot.org/c/coreboot/+/45702/1/src/include/cpu/x86/tsc.h@4... PS1, Line 47: return ((unsigned long long)res.lo)|(((unsigned long long)res.hi) << 32); Move this down a bit, then use `tsc_to_uint64` ?
return tsc_to_uint64(rdtsc());