NR_KVM_CPU_CAPS
NKVMCAPINTS = NR_KVM_CPU_CAPS - NCAPINTS,
u32 cpu_caps[NR_KVM_CPU_CAPS];
u32 kvm_cpu_caps[NR_KVM_CPU_CAPS] __read_mostly;
BUILD_BUG_ON(ARRAY_SIZE(reverse_cpuid) != NR_KVM_CPU_CAPS);
for (i = 0; i < NR_KVM_CPU_CAPS; i++) {
u32 vcpu_caps[NR_KVM_CPU_CAPS];
extern u32 kvm_cpu_caps[NR_KVM_CPU_CAPS] __read_mostly;