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