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