satip-axe/kernel/arch/x86/vdso
2015-03-26 17:24:57 +01:00
..
vdso32 add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
.gitignore add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
Makefile add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vclock_gettime.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vdso32-setup.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vdso32.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vdso-layout.lds.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vdso-note.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vdso.lds.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vdso.S add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vextern.h add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vgetcpu.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vma.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00
vvar.c add idl4k kernel firmware version 1.13.0.105 2015-03-26 17:24:57 +01:00