Searched refs:guest_tsc (Results 1 – 3 of 3) sorted by relevance
| /xen-4.10.0-shim-comet/xen/arch/x86/hvm/ |
| A D | vlapic.c | 1112 uint64_t guest_tsc; in vlapic_tdt_msr_set() local
1125 guest_tsc = hvm_get_guest_tsc(v); in vlapic_tdt_msr_set()
1126 if ( value > guest_tsc ) in vlapic_tdt_msr_set()
1128 uint64_t delta = gtsc_to_gtime(v->domain, value - guest_tsc); in vlapic_tdt_msr_set()
1169 vlapic->hw.tdt_msr, guest_tsc); in vlapic_tdt_msr_set()
|
| A D | hvm.c | 397 static void hvm_set_guest_tsc_fixed(struct vcpu *v, u64 guest_tsc, u64 at_tsc) in hvm_set_guest_tsc_fixed() argument
414 delta_tsc = guest_tsc - tsc; in hvm_set_guest_tsc_fixed()
422 static void hvm_set_guest_tsc_msr(struct vcpu *v, u64 guest_tsc) in hvm_set_guest_tsc_msr() argument
426 hvm_set_guest_tsc(v, guest_tsc); in hvm_set_guest_tsc_msr()
|
| /xen-4.10.0-shim-comet/xen/arch/x86/hvm/svm/ |
| A D | svm.c | 827 static uint64_t svm_get_tsc_offset(uint64_t host_tsc, uint64_t guest_tsc, in svm_get_tsc_offset() argument
830 return guest_tsc - scale_tsc(host_tsc, ratio); in svm_get_tsc_offset()
854 uint64_t guest_tsc = hvm_get_guest_tsc_fixed(v, at_tsc); in svm_set_tsc_offset() local
856 n2_tsc_offset = svm_get_tsc_offset(guest_tsc, in svm_set_tsc_offset()
857 guest_tsc + n2_tsc_offset, in svm_set_tsc_offset()
|
Completed in 15 milliseconds