Searched defs:at_tsc (Results 1 – 5 of 5) sorted by relevance
38 u64 hvm_get_guest_time_fixed(struct vcpu *v, u64 at_tsc) in hvm_get_guest_time_fixed()
397 static void hvm_set_guest_tsc_fixed(struct vcpu *v, u64 guest_tsc, u64 at_tsc) in hvm_set_guest_tsc_fixed()439 u64 hvm_get_guest_tsc_fixed(struct vcpu *v, uint64_t at_tsc) in hvm_get_guest_tsc_fixed()
995 s_time_t get_s_time_fixed(u64 at_tsc) in get_s_time_fixed()
833 static void svm_set_tsc_offset(struct vcpu *v, u64 offset, u64 at_tsc) in svm_set_tsc_offset()
1394 static void vmx_set_tsc_offset(struct vcpu *v, u64 offset, u64 at_tsc) in vmx_set_tsc_offset()
Completed in 24 milliseconds