MSR_DEBUGCTLMSR
db_printf("DEBUG_CTL\t0x%016lx\n", rdmsr(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);
wrmsr(MSR_DEBUGCTLMSR, rdmsr(MSR_DEBUGCTLMSR) | 0x1000);
db_printf("DEBUG_CTL\t0x%016llx\n", rdmsr(MSR_DEBUGCTLMSR));