18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci#define BUILD_VDSO32 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_ci#ifdef CONFIG_X86_64 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ci/* 78c2ecf20Sopenharmony_ci * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel 88c2ecf20Sopenharmony_ci * configuration 98c2ecf20Sopenharmony_ci */ 108c2ecf20Sopenharmony_ci#undef CONFIG_64BIT 118c2ecf20Sopenharmony_ci#undef CONFIG_X86_64 128c2ecf20Sopenharmony_ci#undef CONFIG_COMPAT 138c2ecf20Sopenharmony_ci#undef CONFIG_PGTABLE_LEVELS 148c2ecf20Sopenharmony_ci#undef CONFIG_ILLEGAL_POINTER_VALUE 158c2ecf20Sopenharmony_ci#undef CONFIG_SPARSEMEM_VMEMMAP 168c2ecf20Sopenharmony_ci#undef CONFIG_NR_CPUS 178c2ecf20Sopenharmony_ci#undef CONFIG_PARAVIRT_XXL 188c2ecf20Sopenharmony_ci 198c2ecf20Sopenharmony_ci#define CONFIG_X86_32 1 208c2ecf20Sopenharmony_ci#define CONFIG_PGTABLE_LEVELS 2 218c2ecf20Sopenharmony_ci#define CONFIG_PAGE_OFFSET 0 228c2ecf20Sopenharmony_ci#define CONFIG_ILLEGAL_POINTER_VALUE 0 238c2ecf20Sopenharmony_ci#define CONFIG_NR_CPUS 1 248c2ecf20Sopenharmony_ci 258c2ecf20Sopenharmony_ci#define BUILD_VDSO32_64 268c2ecf20Sopenharmony_ci 278c2ecf20Sopenharmony_ci#endif 288c2ecf20Sopenharmony_ci 298c2ecf20Sopenharmony_ci#include "../vclock_gettime.c" 30