1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifdef CONFIG_X86_64 3 4/* 5 * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel 6 * configuration 7 */ 8#undef CONFIG_64BIT 9#undef CONFIG_X86_64 10#undef CONFIG_COMPAT 11#undef CONFIG_PGTABLE_LEVELS 12#undef CONFIG_ILLEGAL_POINTER_VALUE 13#undef CONFIG_SPARSEMEM_VMEMMAP 14#undef CONFIG_NR_CPUS 15#undef CONFIG_PARAVIRT_XXL 16 17#define CONFIG_X86_32 1 18#define CONFIG_PGTABLE_LEVELS 2 19#define CONFIG_PAGE_OFFSET 0 20#define CONFIG_ILLEGAL_POINTER_VALUE 0 21#define CONFIG_NR_CPUS 1 22 23#define BUILD_VDSO32_64 24 25#endif 26