Symbol: tsc_sclock_t
sys/platform/pc64/apic/lapic.c
891
if ((tsc_sclock_t)(rdtsc() -
sys/platform/pc64/isa/clock.c
1580
tsc_sclock_t delta;
sys/platform/pc64/isa/clock.c
1581
tsc_sclock_t lo_delta = 0x7FFFFFFFFFFFFFFFLL;
sys/platform/pc64/isa/clock.c
1582
tsc_sclock_t hi_delta = -0x7FFFFFFFFFFFFFFFLL;
sys/platform/pc64/x86_64/pmap_inval.c
169
if ((tsc_sclock_t)(info->tsc_target - tsc) < 0 && tsc_frequency) {
sys/sys/microtime_pcpu.h
73
(tsc_sclock_t)tsc_frequency);