GUEST_IA32_DEBUGCTL (reference) in projects: arch

Searched refs:GUEST_IA32_DEBUGCTL (Results 1 – 5 of 5) sorted by relevance

/arch/x86/kvm/vmx/
A D	vmx.h	`420 vmcs_write64(GUEST_IA32_DEBUGCTL, val); in vmx_guest_debugctl_write() 425 return vmcs_read64(GUEST_IA32_DEBUGCTL) & ~VMX_HOST_OWNED_DEBUGCTL_BITS; in vmx_guest_debugctl_read() 430 u64 val = vmcs_read64(GUEST_IA32_DEBUGCTL); in vmx_reload_guest_debugctl()`
A D	vmcs12.c	`57 FIELD64(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl),`
A D	hyperv_evmcs.c	`71 EVMCS1_FIELD(GUEST_IA32_DEBUGCTL, guest_ia32_debugctl,`
A D	vmx.c	`6249 vmcs_read64(GUEST_IA32_DEBUGCTL), in dump_vmcs()`
/arch/x86/include/asm/
A D	vmx.h	`266 GUEST_IA32_DEBUGCTL = 0x00002802, enumerator`

Completed in 28 milliseconds