Lines Matching refs:dst
94 vcpu_time_info_t __vti, *dst = &__vti;
107 dst->version = src->version;
112 dst->tsc_timestamp = src->tsc_timestamp;
113 dst->system_time = src->system_time;
114 dst->tsc_to_system_mul = src->tsc_to_system_mul;
115 dst->tsc_shift = src->tsc_shift;
123 tsc_delta = tsc - dst->tsc_timestamp;
127 } while (((src->version & 1) | (dst->version ^ src->version)) ||
130 if (dst->tsc_shift >= 0)
131 tsc_delta <<= dst->tsc_shift;
132 else if (dst->tsc_shift < 0)
133 tsc_delta >>= -dst->tsc_shift;
135 result = dst->system_time +
136 ((uint64_t)(tsc_delta * (uint64_t)dst->tsc_to_system_mul) >> 32);