linux/arch/x86/kvm/vmx/vmcs12.c

// SPDX-License-Identifier: GPL-2.0
#define pr_fmt(fmt) …

#include "vmcs12.h"

#define VMCS12_OFFSET(x) …
#define FIELD(number, name) …
#define FIELD64(number, name) …

const unsigned short vmcs12_field_offsets[] = …;
const unsigned int nr_vmcs12_fields = …;