2 * Copyright (c) 2017 Oracle and/or its affiliates. All rights reserved.
7 #ifndef CONFIG_CC_OPTIMIZE_FOR_SIZE
8 #undef CONFIG_OPTIMIZE_INLINING
14 * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
19 #define BUILD_VDSO32_64
21 #undef CONFIG_QUEUED_RWLOCKS
22 #undef CONFIG_QUEUED_SPINLOCKS
26 #include "../vclock_gettime.c"