IA32_VMX_TRUE_ENTRY_CTLS
vcpu->vc_vmx_true_entry_ctls = rdmsr(IA32_VMX_TRUE_ENTRY_CTLS);
ctrl = IA32_VMX_TRUE_ENTRY_CTLS;
case IA32_VMX_TRUE_ENTRY_CTLS: