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