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