linux/arch/x86/kernel/cpu/capflags.c

#ifndef _ASM_X86_CPUFEATURES_H
#include <asm/cpufeatures.h>
#endif

const char * const x86_cap_flags[NCAPINTS*32] = …;

const char * const x86_bug_flags[NBUGINTS*32] = …;

#ifdef CONFIG_X86_VMX_FEATURE_NAMES
#ifndef _ASM_X86_VMXFEATURES_H
#include <asm/vmxfeatures.h>
#endif
const char * const x86_vmx_flags[NVMXINTS*32] = …;
#endif /* CONFIG_X86_VMX_FEATURE_NAMES */