acrn-kernel/arch/sparc/vdso/vdso32/vclock_gettime.c

23 lines
406 B
C

/*
* Copyright (c) 2017 Oracle and/or its affiliates. All rights reserved.
*/
#define BUILD_VDSO32
#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"