Searched refs:vmx_guest_debugctl_write (Results 1 – 4 of 4) sorted by relevance
406 static inline void vmx_guest_debugctl_write(struct kvm_vcpu *vcpu, u64 val) in vmx_guest_debugctl_write() function426 vmx_guest_debugctl_write(vcpu, val & ~VMX_HOST_OWNED_DEBUGCTL_BITS); in vmx_reload_guest_debugctl()
640 vmx_guest_debugctl_write(vcpu, data); in intel_pmu_legacy_freezing_lbrs_on_pmi()
2724 vmx_guest_debugctl_write(vcpu, vmcs12->guest_ia32_debugctl & in prepare_vmcs02()2728 vmx_guest_debugctl_write(vcpu, vmx->nested.pre_vmenter_debugctl); in prepare_vmcs02()4903 vmx_guest_debugctl_write(vcpu, 0); in load_vmcs12_host_state()
2403 vmx_guest_debugctl_write(vcpu, data); in vmx_set_msr()5046 vmx_guest_debugctl_write(&vmx->vcpu, 0); in init_vmcs()