| 1 | // SPDX-License-Identifier: GPL-2.0 |
|---|---|
| 2 | #define BUILD_VDSO32 |
| 3 | #include "fake_32bit_build.h" |
| 4 | #include "../vclock_gettime.c" |
| 5 |
| 1 | // SPDX-License-Identifier: GPL-2.0 |
|---|---|
| 2 | #define BUILD_VDSO32 |
| 3 | #include "fake_32bit_build.h" |
| 4 | #include "../vclock_gettime.c" |
| 5 |