vmx_guest_debugctl_write - Linux

Symbol: vmx_guest_debugctl_write

arch/x86/kvm/vmx/nested.c

vmx_guest_debugctl_write(vcpu, vmcs12->guest_ia32_debugctl &

arch/x86/kvm/vmx/nested.c

vmx_guest_debugctl_write(vcpu, vmx->nested.pre_vmenter_debugctl);

arch/x86/kvm/vmx/nested.c

vmx_guest_debugctl_write(vcpu, 0);

arch/x86/kvm/vmx/pmu_intel.c

vmx_guest_debugctl_write(vcpu, data);

arch/x86/kvm/vmx/vmx.c

vmx_guest_debugctl_write(vcpu, data);

arch/x86/kvm/vmx/vmx.c

vmx_guest_debugctl_write(&vmx->vcpu, 0);

arch/x86/kvm/vmx/vmx.h

vmx_guest_debugctl_write(vcpu, val & ~VMX_HOST_OWNED_DEBUGCTL_BITS);