1 /*
2  * Copyright (c) 2017 Oracle and/or its affiliates. All rights reserved.
3  */
4 
5 #define	BUILD_VDSO32
6 
7 #ifdef	CONFIG_SPARC64
8 
9 /*
10  * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
11  * configuration
12  */
13 #undef	CONFIG_64BIT
14 #undef	CONFIG_SPARC64
15 #define	BUILD_VDSO32_64
16 #define	CONFIG_32BIT
17 #undef	CONFIG_QUEUED_RWLOCKS
18 #undef	CONFIG_QUEUED_SPINLOCKS
19 
20 #endif
21 
22 #include "../vclock_gettime.c"
23