MSR_IA32_VMX_EXIT_CTLS
case MSR_IA32_VMX_EXIT_CTLS:
case MSR_IA32_VMX_EXIT_CTLS:
case MSR_IA32_VMX_EXIT_CTLS:
if (msr_index == MSR_IA32_VMX_EXIT_CTLS)
MSR_IA32_VMX_EXIT_CTLS,
vmwrite(VM_EXIT_CONTROLS, rdmsr(MSR_IA32_VMX_EXIT_CTLS) |
case MSR_IA32_VMX_EXIT_CTLS:
: MSR_IA32_VMX_EXIT_CTLS);