/*
 * 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"