/* * Copyright (c) 2017 Oracle and/or its affiliates. All rights reserved. */ #define BUILD_VDSO32 #ifndef CONFIG_CC_OPTIMIZE_FOR_SIZE #undef CONFIG_OPTIMIZE_INLINING #endif #ifdef CONFIG_SPARC64 /* * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel * configuration */ #undef CONFIG_64BIT #undef CONFIG_SPARC64 #define BUILD_VDSO32_64 #define CONFIG_32BIT #undef CONFIG_QUEUED_RWLOCKS #undef CONFIG_QUEUED_SPINLOCKS #endif #include "../vclock_gettime.c"