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"