x86, 64-bit: use write_gdt_entry in vsyscall_set_cpu
[linux-2.6] / arch / ppc /
drwxr-xr-x   ..
-rw-r--r-- 9 .gitignore
drwxr-xr-x - 4xx_io
drwxr-xr-x - 8260_io
drwxr-xr-x - 8xx_io
-rw-r--r-- 31715 Kconfig
-rw-r--r-- 1493 Kconfig.debug
-rw-r--r-- 4440 Makefile
drwxr-xr-x - boot
drwxr-xr-x - configs
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - mm
drwxr-xr-x - platforms
drwxr-xr-x - syslib
drwxr-xr-x - xmon