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