This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / drivers / lguest / 
tree9e1dca0f252aaa953c2e64a10d64e5af6ea66121
drwxr-xr-x   ..
-rw-r--r-- 520 Kconfig
-rw-r--r-- 1218 Makefile
-rw-r--r-- 1713 README
-rw-r--r-- 10514 core.c
-rw-r--r-- 9535 hypercalls.c
-rw-r--r-- 20663 interrupts_and_traps.c
-rw-r--r-- 8280 lg.h
-rw-r--r-- 15648 lguest_device.c
-rw-r--r-- 15837 lguest_user.c
-rw-r--r-- 36260 page_tables.c
-rw-r--r-- 7886 segments.c
drwxr-xr-x - x86