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 / vdso32
Loading...
Parent directory
Makefile 1707 bytes
clock_getres.S 1026 bytes
clock_gettime.S 3034 bytes
gen_vdso_offsets.sh 436 bytes
gettimeofday.S 1976 bytes
note.S 291 bytes
vdso32.lds.S 3430 bytes
vdso32_wrapper.S 250 bytes
vdso_user_wrapper.S 567 bytes