Searched refs:VMX_VMCS64_GUEST_DEBUGCTL_HIGH (Results 1 - 1 of 1) sorted by relevance
/vbox/include/VBox/vmm/ | ||
H A D | hm_vmx.h | 1255 #define VMX_VMCS64_GUEST_DEBUGCTL_HIGH 0x2803 /**< MSR IA32_DEBUGCTL */ macro |
Completed in 52 milliseconds