4 lines
118 B
C
4 lines
118 B
C
// SPDX-License-Identifier: GPL-2.0
|
|
#define BUILD_VDSO32
|
|
#include "fake_32bit_build.h"
|
|
#include "../vclock_gettime.c"
|