Searched refs:tsc_delta (Results 1 – 1 of 1) sorted by relevance
95 uint64_t tsc_delta; in dtrace_xpv_getsystime() local123 tsc_delta = tsc - dst->tsc_timestamp; in dtrace_xpv_getsystime()131 tsc_delta <<= dst->tsc_shift; in dtrace_xpv_getsystime()133 tsc_delta >>= -dst->tsc_shift; in dtrace_xpv_getsystime()136 ((uint64_t)(tsc_delta * (uint64_t)dst->tsc_to_system_mul) >> 32); in dtrace_xpv_getsystime()