Home
last modified time | relevance | path

Searched refs:vmx_guest_debugctl_write (Results 1 – 2 of 2) sorted by relevance

/linux/arch/x86/kvm/vmx/
H A Dvmx.h407 static inline void vmx_guest_debugctl_write(struct kvm_vcpu *vcpu, u64 val) in vmx_guest_debugctl_write() function
427 vmx_guest_debugctl_write(vcpu, val & ~VMX_HOST_OWNED_DEBUGCTL_BITS); in vmx_reload_guest_debugctl()
H A Dvmx.c2408 vmx_guest_debugctl_write(vcpu, data); in vmx_set_msr()
4997 vmx_guest_debugctl_write(&vmx->vcpu, 0); in init_vmcs()