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