linux/arch/x86/entry/vdso/vdso32/fake_32bit_build.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifdef CONFIG_X86_64

/*
 * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
 * configuration
 */
#undef CONFIG_64BIT
#undef CONFIG_X86_64
#undef CONFIG_COMPAT
#undef CONFIG_PGTABLE_LEVELS
#undef CONFIG_ILLEGAL_POINTER_VALUE
#undef CONFIG_SPARSEMEM_VMEMMAP
#undef CONFIG_NR_CPUS
#undef CONFIG_PARAVIRT_XXL

#define CONFIG_X86_32 …
#define CONFIG_PGTABLE_LEVELS …
#define CONFIG_PAGE_OFFSET …
#define CONFIG_ILLEGAL_POINTER_VALUE …
#define CONFIG_NR_CPUS …

#define BUILD_VDSO32_64

#endif