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