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