Sign in
android-kvm
/
linux
/
e593a4a2d3ad5e1a4be338b38ed6ba7c70642d88
/
.
/
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"
