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