Linux Audio

Check our new training course

Linux BSP development engineering services

Need help to port Linux and bootloaders to your hardware?
Open Menu / arch / s390 / kernel / vdso64
Loading...
Parent directory
Makefile 2798 bytes
gen_vdso_offsets.sh 429 bytes
getcpu.c 467 bytes
note.S 330 bytes
vdso.h 542 bytes
vdso64.lds.S 3692 bytes
vdso64_generic.c 481 bytes
vdso64_wrapper.S 289 bytes
vdso_user_wrapper.S 1608 bytes
vgetrandom-chacha.S 4412 bytes
vgetrandom.c 462 bytes