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#undef CONFIG_PARAVIRT_XXL
18
19#define CONFIG_X86_32 1
20#define CONFIG_PGTABLE_LEVELS 2
21#define CONFIG_PAGE_OFFSET 0
22#define CONFIG_ILLEGAL_POINTER_VALUE 0
23#define CONFIG_NR_CPUS 1
24
25#define BUILD_VDSO32_64
26
27#endif
28
29#include "../vclock_gettime.c"
30

source code of linux/arch/x86/entry/vdso/vdso32/vclock_gettime.c