Rename "cr3" to "gpgdir" to avoid x86-specific naming.
authorRusty Russell <rusty@rustcorp.com.au>
Mon, 22 Oct 2007 01:03:34 +0000 (11:03 +1000)
committerRusty Russell <rusty@rustcorp.com.au>
Tue, 23 Oct 2007 05:49:53 +0000 (15:49 +1000)
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
drivers/lguest/lg.h
drivers/lguest/page_tables.c

Simple merge
Simple merge