19a08862aSNagarathnam Muthusamy /*
29a08862aSNagarathnam Muthusamy  * Copyright (c) 2017 Oracle and/or its affiliates. All rights reserved.
39a08862aSNagarathnam Muthusamy  */
49a08862aSNagarathnam Muthusamy 
59a08862aSNagarathnam Muthusamy #define	BUILD_VDSO32
69a08862aSNagarathnam Muthusamy 
79a08862aSNagarathnam Muthusamy #ifdef	CONFIG_SPARC64
89a08862aSNagarathnam Muthusamy 
99a08862aSNagarathnam Muthusamy /*
109a08862aSNagarathnam Muthusamy  * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
119a08862aSNagarathnam Muthusamy  * configuration
129a08862aSNagarathnam Muthusamy  */
139a08862aSNagarathnam Muthusamy #undef	CONFIG_64BIT
149a08862aSNagarathnam Muthusamy #undef	CONFIG_SPARC64
159a08862aSNagarathnam Muthusamy #define	BUILD_VDSO32_64
169a08862aSNagarathnam Muthusamy #define	CONFIG_32BIT
179a08862aSNagarathnam Muthusamy #undef	CONFIG_QUEUED_RWLOCKS
189a08862aSNagarathnam Muthusamy #undef	CONFIG_QUEUED_SPINLOCKS
199a08862aSNagarathnam Muthusamy 
209a08862aSNagarathnam Muthusamy #endif
219a08862aSNagarathnam Muthusamy 
229a08862aSNagarathnam Muthusamy #include "../vclock_gettime.c"
23