review.coreboot.org / coreboot / c84c1906b78b767902bf9d8f18ae8a21d2f1f114 / src / include / cpu / x86 / tsc.h