1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0 27a59ed41SStefani Seibold #define BUILD_VDSO32 3*877cff52SSebastian Andrzej Siewior #include "fake_32bit_build.h" 47a59ed41SStefani Seibold #include "../vclock_gettime.c" 5