IA32_VMX_TRUE_PINBASED_CTLS
rdmsr(IA32_VMX_TRUE_PINBASED_CTLS);
ctrl = IA32_VMX_TRUE_PINBASED_CTLS;
case IA32_VMX_TRUE_PINBASED_CTLS: