time# Fully qualified name: carb/time Files# TscClock.hImplementation of a clock based on the CPU time-stamp counter. Util.h