diff options
| author | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-03-17 13:30:55 -0700 |
|---|---|---|
| committer | Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com> | 2009-04-08 14:25:45 -0700 |
| commit | b96229b50d71c548302053c244b89572a5264c0b (patch) | |
| tree | c45ae08d83489b5f3f2c870fb3824679c166808a /arch/x86/ia32/Makefile | |
| parent | b40bf53effc0338ad7926aa1abce703af372cbd4 (diff) | |
xen/mmu: some early pagetable cleanups
1. make sure early-allocated ptes are pinned, so they can be later
unpinned
2. don't pin pmd+pud, just make them RO
3. scatter some __inits around
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Diffstat (limited to 'arch/x86/ia32/Makefile')
0 files changed, 0 insertions, 0 deletions