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

// SPDX-License-Identifier: GPL-2.0
#include <linux/tboot.h>

#include <asm/cpu.h>
#include <asm/cpufeature.h>
#include <asm/msr-index.h>
#include <asm/processor.h>
#include <asm/vmx.h>

#undef pr_fmt
#define pr_fmt(fmt) …

#ifdef CONFIG_X86_VMX_FEATURE_NAMES
enum vmx_feature_leafs { … };

#define VMX_F(x) …

static void init_vmx_capabilities(struct cpuinfo_x86 *c)
{ … }
#endif /* CONFIG_X86_VMX_FEATURE_NAMES */

static int __init nosgx(char *str)
{ … }

early_param(…);

void init_ia32_feat_ctl(struct cpuinfo_x86 *c)
{ … }