MSR_IA32_VMX_ENTRY_CTLS
case MSR_IA32_VMX_ENTRY_CTLS:
case MSR_IA32_VMX_ENTRY_CTLS:
case MSR_IA32_VMX_ENTRY_CTLS:
if (msr_index == MSR_IA32_VMX_ENTRY_CTLS)
MSR_IA32_VMX_ENTRY_CTLS,
vmwrite(VM_ENTRY_CONTROLS, rdmsr(MSR_IA32_VMX_ENTRY_CTLS) |
case MSR_IA32_VMX_ENTRY_CTLS: