Symbol: tsc_sclock_t
sys/platform/pc64/include/clock.h
31
typedef int64_t tsc_sclock_t;
sys/platform/vkernel64/include/clock.h
19
typedef int64_t tsc_sclock_t;