1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
| /*
| * 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"
|
|
