Symbol: tsc_uclock_t
sys/platform/pc64/include/clock.h
30
typedef uint64_t tsc_uclock_t;
sys/platform/vkernel64/include/clock.h
18
typedef uint64_t tsc_uclock_t;