[PATCH] paravirt: re-enable COMPAT_VDSO
[linux-2.6] / arch / arm / tools /
drwxr-xr-x   ..
-rw-r--r-- 220 Makefile
-rw-r--r-- 2076 gen-mach-types
-rw-r--r-- 47773 mach-types