acrn-kernel/arch/x86/vdso
..
.gitignore
Makefile
vclock_gettime.c
vdso-note.S
vdso-start.S
vdso.S
vdso.lds.S
vextern.h
vgetcpu.c
vma.c
voffset.h
vvar.c