x86_leaf 60 arch/x86/kvm/cpuid.h unsigned x86_leaf = x86_feature / 32; x86_leaf 62 arch/x86/kvm/cpuid.h BUILD_BUG_ON(x86_leaf >= ARRAY_SIZE(reverse_cpuid)); x86_leaf 63 arch/x86/kvm/cpuid.h BUILD_BUG_ON(reverse_cpuid[x86_leaf].function == 0); x86_leaf 65 arch/x86/kvm/cpuid.h return reverse_cpuid[x86_leaf];