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