xref: /linux/arch/x86/entry/vdso/vdso32/vclock_gettime.c (revision f9bff0e31881d03badf191d3b0005839391f5f2b)
1 // SPDX-License-Identifier: GPL-2.0
2 #define BUILD_VDSO32
3 #include "fake_32bit_build.h"
4 #include "../vclock_gettime.c"
5