MSR_DEBUGCTLMSR
gctx->host_debugctl = rdmsr(MSR_DEBUGCTLMSR);
wrmsr(MSR_DEBUGCTLMSR, 0);
wrmsr(MSR_DEBUGCTLMSR, gctx->host_debugctl);
vmxctx->host_debugctl = rdmsr(MSR_DEBUGCTLMSR);
wrmsr(MSR_DEBUGCTLMSR, 0);
wrmsr(MSR_DEBUGCTLMSR, vmxctx->host_debugctl);