vdso64 - arch/s390/kernel/vdso64 - Linux source code (v4.12.11)

Parent directory
Makefile	1768 bytes
clock_getres.S	1319 bytes
clock_gettime.S	4225 bytes
getcpu.S	728 bytes
gettimeofday.S	2032 bytes
note.S	291 bytes
vdso64.lds.S	3449 bytes
vdso64_wrapper.S	250 bytes