| commit | 84f12e39c856a8b1ab407f8216ecebaf4204b94d | [log] [tgz] |
|---|---|---|
| author | Glauber de Oliveira Costa <gcosta@redhat.com> | Fri Jan 18 23:59:08 2008 -0200 |
| committer | Rusty Russell <rusty@rustcorp.com.au> | Wed Jan 30 22:50:19 2008 +1100 |
| tree | 908c7dd63fb65eda3ff660913e9bc28438871e16 | |
| parent | ca94f2bdd1be626361fcfbd474d6b8823ed39f74 [diff] |
lguest: use __PAGE_KERNEL instead of _PAGE_KERNEL 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>