License cleanup: add SPDX GPL-2.0 license identifier to files with no license
[linux-block.git] / arch / x86 / entry / vdso / vdso32 / vclock_gettime.c
CommitLineData
b2441318 1// SPDX-License-Identifier: GPL-2.0
7a59ed41
SS
2#define BUILD_VDSO32
3
4#ifndef CONFIG_CC_OPTIMIZE_FOR_SIZE
5#undef CONFIG_OPTIMIZE_INLINING
6#endif
7
8#undef CONFIG_X86_PPRO_FENCE
9
7c03156f
SS
10#ifdef CONFIG_X86_64
11
12/*
13 * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
14 * configuration
15 */
16#undef CONFIG_64BIT
17#undef CONFIG_X86_64
fb535ccb 18#undef CONFIG_PGTABLE_LEVELS
7c03156f
SS
19#undef CONFIG_ILLEGAL_POINTER_VALUE
20#undef CONFIG_SPARSEMEM_VMEMMAP
21#undef CONFIG_NR_CPUS
22
23#define CONFIG_X86_32 1
fb535ccb 24#define CONFIG_PGTABLE_LEVELS 2
7c03156f
SS
25#define CONFIG_PAGE_OFFSET 0
26#define CONFIG_ILLEGAL_POINTER_VALUE 0
27#define CONFIG_NR_CPUS 1
28
29#define BUILD_VDSO32_64
30
31#endif
32
7a59ed41 33#include "../vclock_gettime.c"