lguest: use __PAGE_KERNEL instead of _PAGE_KERNEL
authorGlauber de Oliveira Costa <gcosta@redhat.com>
Sat, 19 Jan 2008 01:59:08 +0000 (23:59 -0200)
committerRusty Russell <rusty@rustcorp.com.au>
Wed, 30 Jan 2008 11:50:19 +0000 (22:50 +1100)
x86_64 don't expose the intermediate representation with one underline,
_PAGE_KERNEL, just the double-underlined one.

Use it, to get a common ground between 32 and 64-bit

Signed-off-by: Glauber de Oliveira Costa <gcosta@redhat.com>
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>
drivers/lguest/page_tables.c

Simple merge