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