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