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"
27