// SPDX-License-Identifier: GPL-2.0 #define BUILD_VDSO32 #include "fake_32bit_build.h" #include "../vclock_gettime.c"