DEBUGCTLMSR_FREEZE_IN_SMM
debugctl &= ~DEBUGCTLMSR_FREEZE_IN_SMM;
DEBUGCTLMSR_FREEZE_IN_SMM)
#define VMX_HOST_OWNED_DEBUGCTL_BITS (DEBUGCTLMSR_FREEZE_IN_SMM)