Sign in
android-kvm
/
linux
/
cd7fa3e1b0bc9c210eba23edbe8d6884f0368281
/
.
/
arch
/
x86
/
entry
/
vdso
/
vdso32
/
vclock_gettime.c
blob: 86981decfea83f94395ea097f46b727f15b87efc [
file
] [
log
] [
blame
]
// SPDX-License-Identifier: GPL-2.0
#define
BUILD_VDSO32
#include
"fake_32bit_build.h"
#include
"../vclock_gettime.c"
