Searched refs:VMX_VMCS64_GUEST_DEBUGCTL_FULL (Results 1 - 2 of 2) sorted by relevance

/vbox/include/VBox/vmm/
H A Dhm_vmx.h1254 #define VMX_VMCS64_GUEST_DEBUGCTL_FULL 0x2802 /**< MSR IA32_DEBUGCTL */ macro
/vbox/src/VBox/VMM/VMMR0/
H A DHMVMXR0.cpp2618 rc = VMXWriteVmcs64(VMX_VMCS64_GUEST_DEBUGCTL_FULL, 0); /** @todo We don't support IA32_DEBUGCTL MSR. Should we? */
5437 VMXLOCAL_INIT_READ_CACHE_FIELD(pCache, VMX_VMCS64_GUEST_DEBUGCTL_FULL);
5506 case VMX_VMCS64_GUEST_DEBUGCTL_FULL:
9473 rc = VMXReadVmcs64(VMX_VMCS64_GUEST_DEBUGCTL_FULL, &u64Val);

Completed in 88 milliseconds