IA32_VMX_TRUE_EXIT_CTLS
vcpu->vc_vmx_true_exit_ctls = rdmsr(IA32_VMX_TRUE_EXIT_CTLS);
ctrl = IA32_VMX_TRUE_EXIT_CTLS;
case IA32_VMX_TRUE_EXIT_CTLS: