cacheflush.h
|
x86: do not PSE on CONFIG_DEBUG_PAGEALLOC=y
|
2008-01-30 13:33:58 +01:00 |
efi.h
|
x86: fix some bugs about EFI runtime code mapping
|
2008-01-30 13:33:55 +01:00 |
pgtable_32.h
|
x86: clean up lookup_address() declarations
|
2008-01-30 13:34:04 +01:00 |
pgtable_64.h
|
x86: clean up lookup_address() declarations
|
2008-01-30 13:34:04 +01:00 |
pgtable.h
|
x86: add PAGE_KERNEL_EXEC_NOCACHE
|
2008-01-30 13:34:04 +01:00 |