lguest: use get_user_pages_fast() instead of get_user_pages()
[safe/jmp/linux-2.6] / drivers / lguest /
drwxr-xr-x   ..
-rw-r--r-- 527 Kconfig
-rw-r--r-- 1210 Makefile
-rw-r--r-- 1713 README
-rw-r--r-- 10055 core.c
-rw-r--r-- 8779 hypercalls.c
-rw-r--r-- 19267 interrupts_and_traps.c
-rw-r--r-- 7689 lg.h
-rw-r--r-- 13918 lguest_device.c
-rw-r--r-- 11313 lguest_user.c
-rw-r--r-- 27909 page_tables.c
-rw-r--r-- 7849 segments.c
drwxr-xr-x - x86