MSR_IA32_ARCH_CAPABILITIES
rdmsrq(MSR_IA32_ARCH_CAPABILITIES, x86_arch_cap_msr);
case MSR_IA32_ARCH_CAPABILITIES:
if (msr_index == MSR_IA32_ARCH_CAPABILITIES)
rdmsrq(MSR_IA32_ARCH_CAPABILITIES, kvm_host.arch_capabilities);
case MSR_IA32_ARCH_CAPABILITIES:
case MSR_IA32_ARCH_CAPABILITIES:
MSR_IA32_ARCH_CAPABILITIES,
case MSR_IA32_ARCH_CAPABILITIES:
MSR_IA32_ARCH_CAPABILITIES,