GNU Linux-libre 4.19.264-gnu1
[releases.git] / arch / sparc / vdso / vdso32 / vclock_gettime.c
1 /*
2  * Copyright (c) 2017 Oracle and/or its affiliates. All rights reserved.
3  */
4
5 #define BUILD_VDSO32
6
7 #ifndef CONFIG_CC_OPTIMIZE_FOR_SIZE
8 #undef  CONFIG_OPTIMIZE_INLINING
9 #endif
10
11 #ifdef  CONFIG_SPARC64
12
13 /*
14  * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
15  * configuration
16  */
17 #undef  CONFIG_64BIT
18 #undef  CONFIG_SPARC64
19 #define BUILD_VDSO32_64
20 #define CONFIG_32BIT
21 #undef  CONFIG_QUEUED_RWLOCKS
22 #undef  CONFIG_QUEUED_SPINLOCKS
23
24 #endif
25
26 #include "../vclock_gettime.c"