Rename "cr3" to "gpgdir" to avoid x86-specific naming.
[safe/jmp/linux-2.6] / drivers / lguest /
drwxr-xr-x   ..
-rw-r--r-- 860 Kconfig
-rw-r--r-- 761 Makefile
-rw-r--r-- 1713 README
-rw-r--r-- 10211 core.c
-rw-r--r-- 8659 hypercalls.c
-rw-r--r-- 16405 interrupts_and_traps.c
-rw-r--r-- 21525 io.c
-rw-r--r-- 7724 lg.h
-rw-r--r-- 8023 lguest_bus.c
-rw-r--r-- 11217 lguest_user.c
-rw-r--r-- 25069 page_tables.c
-rw-r--r-- 7299 segments.c
drwxr-xr-x - x86