Searched refs:guest_read_tsc (Results 1 – 1 of 1) sorted by relevance
2398 static u64 guest_read_tsc(struct kvm_vcpu *vcpu) in guest_read_tsc() function2803 msr_info->data = guest_read_tsc(vcpu); in vmx_get_msr()