Searched refs:tsc_timestamp (Results 1 – 2 of 2) sorted by relevance
672 uint64_t tsc_timestamp; /* TSC at last update of time vals. */ member
597 uint64_t delta = tsc - info->tsc_timestamp; in read_cycle()1283 _u.tsc_timestamp = tsc_stamp; in __update_vcpu_system_time()1295 _u.tsc_timestamp += v->arch.hvm.cache_tsc_offset; in __update_vcpu_system_time()
Completed in 13 milliseconds