Re: 4.4-rc0: 5 W+X pages found

From: Mihai DonÈu
Date: Wed Dec 09 2015 - 14:34:08 EST


On Tue, 8 Dec 2015 13:19:32 -0800 Kees Cook wrote:
> On Mon, Nov 23, 2015 at 6:37 AM, Mihai DonÈu wrote:
> > On Sun, 15 Nov 2015 08:00:22 +0100 Pavel Machek wrote:
> >> Kernel complains:
> >>
> >> [ 5.256044] ------------[ cut here ]------------
> >> [ 5.259267] WARNING: CPU: 0 PID: 1 at
> >> arch/x86/mm/dump_pagetables.c:225 note_page+0x5ec/0x790()
> >> [ 5.262668] x86/mm: Found insecure W+X mapping at address
> >> ffe69000/0xffe69000
> >> [ 5.267109] Modules linked in:
> >> [ 5.271403] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 4.3.0+ #122
> >> [ 5.275679] Hardware name: LENOVO 17097HU/17097HU, BIOS 7BETD8WW
> >> (2.19 ) 03/31/2011
> >> [ 5.279957] 00000000 00000000 f5cffeac c42b9f18 f5cffed8 f5cffec8
> >> c404062b 000000e1
> >> [ 5.284387] c403ca9c f5cfff50 00000163 00000000 f5cffee0 c4040686
> >> 00000009 f5cffed8
> >> [ 5.288815] c4d268ac f5cffef4 f5cfff1c c403ca9c c4d1f494 000000e1
> >> c4d268ac ffe69000
> >> [ 5.293314] Call Trace:
> >> [ 5.297602] [<c42b9f18>] dump_stack+0x41/0x59
> >> [ 5.301864] [<c404062b>] warn_slowpath_common+0x6b/0xa0
> >> [ 5.306054] [<c403ca9c>] ? note_page+0x5ec/0x790
> >> [ 5.310209] [<c4040686>] warn_slowpath_fmt+0x26/0x30
> >> [ 5.314358] [<c403ca9c>] note_page+0x5ec/0x790
> >> [ 5.318440] [<c403cd8f>] ptdump_walk_pgd_level_core+0x14f/0x230
> >> [ 5.322578] [<c403ce91>] ptdump_walk_pgd_level_checkwx+0x11/0x20
> >> [ 5.326632] [<c4034ead>] mark_rodata_ro+0xcd/0xf0
> >> [ 5.330625] [<c4a4aab7>] kernel_init+0x17/0xc0
> >> [ 5.334585] [<c4a511c9>] ret_from_kernel_thread+0x21/0x38
> >> [ 5.338585] [<c4a4aaa0>] ? rest_init+0xa0/0xa0
> >> [ 5.342583] ---[ end trace bc9ac0874ad9a058 ]---
> >> [ 5.346630] x86/mm: Checked W+X mappings: FAILED, 5 W+X pages
> >> found.
> >>
> >> ...I'm not quite sure why it does backtrace, or how to debug this
> >> one...
> >
> > That is a modest number.
> >
> > [ 2.493559] ------------[ cut here ]------------
> > [ 2.493563] WARNING: CPU: 2 PID: 1 at arch/x86/mm/dump_pagetables.c:225 note_page+0x5e1/0x780()
> > [ 2.493565] x86/mm: Found insecure W+X mapping at address ffff88000009d000/0xffff88000009d000
> > [ 2.493565] Modules linked in:
> > [ 2.493568] CPU: 2 PID: 1 Comm: swapper/0 Not tainted 4.4.0-rc2 #2
> > [ 2.493569] Hardware name: Dell Inc. Latitude E7440/07F3F4, BIOS A15 05/19/2015
> > [ 2.493570] 0000000000000000 00000000c03551f4 ffff88040c7cbd48 ffffffffaa54851c
> > [ 2.493572] ffff88040c7cbd90 ffff88040c7cbd80 ffffffffaa13a662 ffff88040c7cbe90
> > [ 2.493573] 8000000000000163 0000000000000004 0000000000000000 0000000000000000
> > [ 2.493575] Call Trace:
> > [ 2.493579] [<ffffffffaa54851c>] dump_stack+0x4e/0x82
> > [ 2.493582] [<ffffffffaa13a662>] warn_slowpath_common+0x82/0xc0
> > [ 2.493583] [<ffffffffaa13a6fc>] warn_slowpath_fmt+0x5c/0x80
> > [ 2.493585] [<ffffffffaa0a3f61>] note_page+0x5e1/0x780
> > [ 2.493587] [<ffffffffaa0a43c4>] ptdump_walk_pgd_level_core+0x2c4/0x3f0
> > [ 2.493588] [<ffffffffaa0a4527>] ptdump_walk_pgd_level_checkwx+0x17/0x20
> > [ 2.493591] [<ffffffffaa09ad0f>] mark_rodata_ro+0xef/0x100
> > [ 2.493594] [<ffffffffaae75d00>] ? rest_init+0x90/0x90
> > [ 2.493595] [<ffffffffaae75d1d>] kernel_init+0x1d/0xe0
> > [ 2.493596] [<ffffffffaae7c52f>] ret_from_fork+0x3f/0x70
> > [ 2.493598] [<ffffffffaae75d00>] ? rest_init+0x90/0x90
> > [ 2.493599] ---[ end trace e2aec56d15b94609 ]---
> > [ 2.498994] x86/mm: Checked W+X mappings: FAILED, 104640 W+X pages found.
> >
> > All the while I have:
> >
> > $ zgrep NX /proc/config.gz
> > CONFIG_DEBUG_SET_MODULE_RONX=y
> >
> > I added to CC the people involved in pushing this feature to mainline,
> > maybe they can point me to a possible cause.
>
> If you enable CONFIG_X86_PTDUMP, see if you can find out what exists
> in /sys/kernel/debug/kernel_page_tables at ffff88000009d000 ?

---[ Low Kernel Mapping ]---
0xffff880000000000-0xffff880000097000 604K RW GLB NX pte
0xffff880000097000-0xffff880000098000 4K ro GLB NX pte
0xffff880000098000-0xffff880000099000 4K ro GLB x pte
0xffff880000099000-0xffff88000009d000 16K RW GLB NX pte
*0xffff88000009d000-0xffff88000009e000* 4K RW GLB x pte
0xffff88000009e000-0xffff880000200000 1416K RW GLB NX pte
0xffff880000200000-0xffff880029000000 654M RW PSE GLB NX pmd
0xffff880029000000-0xffff880029e00000 14M ro PSE GLB x pmd
0xffff880029e00000-0xffff880029e89000 548K ro GLB x pte
0xffff880029e89000-0xffff88002a000000 1500K RW GLB NX pte
0xffff88002a000000-0xffff88002a800000 8M ro PSE GLB x pmd
0xffff88002a800000-0xffff88002a8d0000 832K ro GLB x pte
0xffff88002a8d0000-0xffff88002aa00000 1216K RW GLB NX pte
0xffff88002aa00000-0xffff88002ae00000 4M RW PSE GLB x pmd
0xffff88002ae00000-0xffff88002ae9a000 616K RW GLB x pte
0xffff88002ae9a000-0xffff88002b000000 1432K RW GLB NX pte
0xffff88002b000000-0xffff880040000000 336M RW PSE GLB NX pmd
0xffff880040000000-0xffff8800c0000000 2G RW PSE GLB NX pud
0xffff8800c0000000-0xffff8800cc400000 196M RW PSE GLB NX pmd
0xffff8800cc400000-0xffff8800cc415000 84K RW GLB NX pte
0xffff8800cc415000-0xffff8800cc515000 1M RW GLB x pte
0xffff8800cc515000-0xffff8800cc600000 940K RW GLB NX pte
0xffff8800cc600000-0xffff8800cf200000 44M RW PSE GLB NX pmd
0xffff8800cf200000-0xffff8800cf2c9000 804K RW GLB NX pte
0xffff8800cf2c9000-0xffff8800cf2d0000 28K pte
0xffff8800cf2d0000-0xffff8800cf400000 1216K RW GLB x pte
0xffff8800cf400000-0xffff8800cf600000 2M RW PSE GLB x pmd
0xffff8800cf600000-0xffff8800cf800000 2M RW GLB x pte
0xffff8800cf800000-0xffff8800cfe00000 6M RW PSE GLB x pmd
0xffff8800cfe00000-0xffff8800cff0f000 1084K RW GLB x pte
0xffff8800cff0f000-0xffff8800d0000000 964K RW x pte
0xffff8800d0000000-0xffff8800d0200000 2M RW PSE x pmd
0xffff8800d0200000-0xffff8800d03f3000 1996K RW x pte
0xffff8800d03f3000-0xffff8800d0405000 72K RW GLB x pte
0xffff8800d0405000-0xffff8800d0600000 2028K RW GLB NX pte
0xffff8800d0600000-0xffff8800d1000000 10M RW PSE GLB NX pmd
0xffff8800d1000000-0xffff8800d1093000 588K RW GLB NX pte
0xffff8800d1093000-0xffff8800d1200000 1460K RW GLB x pte
0xffff8800d1200000-0xffff8800d1a00000 8M RW PSE GLB x pmd
0xffff8800d1a00000-0xffff8800d1bf1000 1988K RW GLB x pte
0xffff8800d1bf1000-0xffff8800d1c2b000 232K RW GLB NX pte
0xffff8800d1c2b000-0xffff8800d1c2c000 4K ro GLB NX pte
0xffff8800d1c2c000-0xffff8800d1c31000 20K RW GLB NX pte
0xffff8800d1c31000-0xffff8800d1c32000 4K ro GLB NX pte
0xffff8800d1c32000-0xffff8800d1d38000 1048K RW GLB NX pte
0xffff8800d1d38000-0xffff8800d1d39000 4K ro GLB NX pte
0xffff8800d1d39000-0xffff8800d1e5a000 1156K RW GLB NX pte
0xffff8800d1e5a000-0xffff8800d1f7d000 1164K RW GLB x pte
0xffff8800d1f7d000-0xffff8800d2028000 684K RW GLB NX pte
0xffff8800d2028000-0xffff8800d2184000 1392K RW GLB x pte
0xffff8800d2184000-0xffff8800d218f000 44K RW GLB NX pte
0xffff8800d218f000-0xffff8800d224c000 756K RW GLB x pte
0xffff8800d224c000-0xffff8800d2251000 20K RW GLB NX pte
0xffff8800d2251000-0xffff8800d2400000 1724K RW GLB x pte
0xffff8800d2400000-0xffff8800d2a00000 6M RW PSE GLB x pmd
0xffff8800d2a00000-0xffff8800d2a1c000 112K RW GLB x pte
0xffff8800d2a1c000-0xffff8800d2a22000 24K RW GLB NX pte
0xffff8800d2a22000-0xffff8800d2a37000 84K RW GLB x pte
0xffff8800d2a37000-0xffff8800d2a38000 4K RW GLB NX pte
0xffff8800d2a38000-0xffff8800d2a3d000 20K RW GLB x pte
0xffff8800d2a3d000-0xffff8800d2a4c000 60K RW GLB NX pte
0xffff8800d2a4c000-0xffff8800d2a4d000 4K RW GLB x pte
0xffff8800d2a4d000-0xffff8800d2a57000 40K RW GLB NX pte
0xffff8800d2a57000-0xffff8800d2a62000 44K RW GLB x pte
0xffff8800d2a62000-0xffff8800d2a6a000 32K RW GLB NX pte
0xffff8800d2a6a000-0xffff8800d2a73000 36K RW GLB x pte
0xffff8800d2a73000-0xffff8800d2a78000 20K RW GLB NX pte
0xffff8800d2a78000-0xffff8800d2c00000 1568K RW GLB x pte
0xffff8800d2c00000-0xffff8800d4000000 20M RW PSE GLB x pmd
0xffff8800d4000000-0xffff8800d4095000 596K RW GLB x pte
0xffff8800d4095000-0xffff8800d4096000 4K ro GLB x pte
0xffff8800d4096000-0xffff8800d4177000 900K RW GLB x pte
0xffff8800d4177000-0xffff8800d4178000 4K RW PCD GLB x pte
0xffff8800d4178000-0xffff8800d418c000 80K RW GLB x pte
0xffff8800d418c000-0xffff8800d418d000 4K RW PCD GLB x pte
0xffff8800d418d000-0xffff8800d42ac000 1148K RW GLB x pte
0xffff8800d42ac000-0xffff8800d42ad000 4K ro GLB x pte
0xffff8800d42ad000-0xffff8800d43ae000 1028K RW GLB x pte
0xffff8800d43ae000-0xffff8800d43af000 4K ro GLB x pte
0xffff8800d43af000-0xffff8800d45a3000 2000K RW GLB x pte
0xffff8800d45a3000-0xffff8800d45a4000 4K ro GLB x pte
0xffff8800d45a4000-0xffff8800d488d000 2980K RW GLB x pte
0xffff8800d488d000-0xffff8800d488e000 4K ro GLB x pte
0xffff8800d488e000-0xffff8800d4996000 1056K RW GLB x pte
0xffff8800d4996000-0xffff8800d4997000 4K ro GLB x pte
0xffff8800d4997000-0xffff8800d4a00000 420K RW GLB x pte
0xffff8800d4a00000-0xffff8800d5000000 6M RW PSE GLB x pmd
0xffff8800d5000000-0xffff8800d5800000 8M RW PSE GLB NX pmd
0xffff8800d5800000-0xffff8800d593b000 1260K RW GLB NX pte
0xffff8800d593b000-0xffff8800d5a00000 788K RW GLB x pte
0xffff8800d5a00000-0xffff8800d6000000 6M RW PSE GLB x pmd
0xffff8800d6000000-0xffff8800d7c00000 28M RW PSE GLB NX pmd
0xffff8800d7c00000-0xffff8800d7db4000 1744K RW GLB NX pte
0xffff8800d7db4000-0xffff8800d7e00000 304K RW x pte
0xffff8800d7e00000-0xffff8800d8000000 2M RW PSE x pmd
0xffff8800d8000000-0xffff8800d8600000 6M RW PSE GLB NX pmd
0xffff8800d8600000-0xffff8800d8759000 1380K RW GLB NX pte
0xffff8800d8759000-0xffff8800d8800000 668K RW x pte
0xffff8800d8800000-0xffff8800d8e00000 6M RW PSE GLB NX pmd
0xffff8800d8e00000-0xffff8800d8faa000 1704K RW GLB NX pte
0xffff8800d8faa000-0xffff8800d9000000 344K pte
0xffff8800d9000000-0xffff8800da600000 22M RW PSE GLB NX pmd
0xffff8800da600000-0xffff8800da71c000 1136K RW GLB NX pte
0xffff8800da71c000-0xffff8800da800000 912K pte
0xffff8800da800000-0xffff8800db800000 16M RW PSE GLB NX pmd
0xffff8800db800000-0xffff8800db847000 284K RW GLB NX pte
0xffff8800db847000-0xffff8800db848000 4K ro GLB NX pte
0xffff8800db848000-0xffff8800db88c000 272K RW GLB NX pte
0xffff8800db88c000-0xffff8800db88d000 4K ro GLB NX pte
0xffff8800db88d000-0xffff8800dba00000 1484K RW GLB NX pte
0xffff8800dba00000-0xffff8800dbc00000 2M RW PSE GLB NX pmd
0xffff8800dbc00000-0xffff8800dbcfc000 1008K RW GLB NX pte
0xffff8800dbcfc000-0xffff8800dbe00000 1040K pte
0xffff8800dbe00000-0xffff8800dd000000 18M pmd
0xffff8800dd000000-0xffff8800df200000 34M RW PCD PSE x pmd
0xffff8800df200000-0xffff8800f8000000 398M pmd
0xffff8800f8000000-0xffff8800fc000000 64M RW PCD PSE x pmd
0xffff8800fc000000-0xffff8800fec00000 44M pmd
0xffff8800fec00000-0xffff8800fec01000 4K RW PCD x pte
0xffff8800fec01000-0xffff8800fed00000 1020K pte
0xffff8800fed00000-0xffff8800fed04000 16K RW PCD x pte
0xffff8800fed04000-0xffff8800fed1c000 96K pte
0xffff8800fed1c000-0xffff8800fed20000 16K RW PCD x pte
0xffff8800fed20000-0xffff8800fee00000 896K pte
0xffff8800fee00000-0xffff8800fee01000 4K RW PCD x pte
0xffff8800fee01000-0xffff8800ff000000 2044K pte
0xffff8800ff000000-0xffff880100000000 16M RW PCD PSE x pmd
0xffff880100000000-0xffff8803c0000000 11G RW PSE GLB NX pud
0xffff8803c0000000-0xffff8803e6c00000 620M RW PSE GLB NX pmd
0xffff8803e6c00000-0xffff8803e6c5a000 360K RW GLB NX pte
0xffff8803e6c5a000-0xffff8803e6c5b000 4K ro GLB NX pte
0xffff8803e6c5b000-0xffff8803e6e00000 1684K RW GLB NX pte
0xffff8803e6e00000-0xffff8803eb400000 70M RW PSE GLB NX pmd
0xffff8803eb400000-0xffff8803eb600000 2M RW GLB NX pte
0xffff8803eb600000-0xffff8803ed800000 34M RW PSE GLB NX pmd
0xffff8803ed800000-0xffff8803ed8dd000 884K RW GLB NX pte
0xffff8803ed8dd000-0xffff8803ed8de000 4K ro GLB NX pte
0xffff8803ed8de000-0xffff8803eda00000 1160K RW GLB NX pte
0xffff8803eda00000-0xffff8803ffc00000 290M RW PSE GLB NX pmd
0xffff8803ffc00000-0xffff8803ffcf7000 988K RW GLB NX pte
0xffff8803ffcf7000-0xffff8803ffcf8000 4K ro GLB NX pte
0xffff8803ffcf8000-0xffff8803ffe01000 1060K RW GLB NX pte
0xffff8803ffe01000-0xffff8803ffe02000 4K ro GLB NX pte
0xffff8803ffe02000-0xffff8803ffe14000 72K RW GLB NX pte
0xffff8803ffe14000-0xffff8803ffe15000 4K ro GLB NX pte
0xffff8803ffe15000-0xffff880400000000 1964K RW GLB NX pte
0xffff880400000000-0xffff880401000000 16M RW PSE GLB NX pmd
0xffff880401000000-0xffff880401306000 3096K RW GLB NX pte
0xffff880401306000-0xffff880401307000 4K ro GLB NX pte
0xffff880401307000-0xffff880401400000 996K RW GLB NX pte
0xffff880401400000-0xffff880407c00000 104M RW PSE GLB NX pmd
0xffff880407c00000-0xffff880407c62000 392K RW GLB NX pte
0xffff880407c62000-0xffff880407c64000 8K ro GLB NX pte
0xffff880407c64000-0xffff880407c79000 84K RW GLB NX pte
0xffff880407c79000-0xffff880407c7a000 4K ro GLB NX pte
0xffff880407c7a000-0xffff880407c9e000 144K RW GLB NX pte
0xffff880407c9e000-0xffff880407ca0000 8K ro GLB NX pte
0xffff880407ca0000-0xffff880407cd8000 224K RW GLB NX pte
0xffff880407cd8000-0xffff880407cda000 8K ro GLB NX pte
0xffff880407cda000-0xffff880407d2e000 336K RW GLB NX pte
0xffff880407d2e000-0xffff880407d30000 8K ro GLB NX pte
0xffff880407d30000-0xffff880407dd7000 668K RW GLB NX pte
0xffff880407dd7000-0xffff880407dd8000 4K ro GLB NX pte
0xffff880407dd8000-0xffff880407e3e000 408K RW GLB NX pte
0xffff880407e3e000-0xffff880407e3f000 4K ro GLB NX pte
0xffff880407e3f000-0xffff880407e40000 4K RW GLB NX pte
0xffff880407e40000-0xffff880407e42000 8K ro GLB NX pte
0xffff880407e42000-0xffff880407e5e000 112K RW GLB NX pte
0xffff880407e5e000-0xffff880407e60000 8K ro GLB NX pte
0xffff880407e60000-0xffff880407e7a000 104K RW GLB NX pte
0xffff880407e7a000-0xffff880407e7c000 8K ro GLB NX pte
0xffff880407e7c000-0xffff880407eed000 452K RW GLB NX pte
0xffff880407eed000-0xffff880407eee000 4K ro GLB NX pte
0xffff880407eee000-0xffff880407eef000 4K RW GLB NX pte
0xffff880407eef000-0xffff880407ef0000 4K ro GLB NX pte
0xffff880407ef0000-0xffff880407f18000 160K RW GLB NX pte
0xffff880407f18000-0xffff880407f1a000 8K ro GLB NX pte
0xffff880407f1a000-0xffff8804081d7000 2804K RW GLB NX pte
0xffff8804081d7000-0xffff8804081d8000 4K ro GLB NX pte
0xffff8804081d8000-0xffff8804081ff000 156K RW GLB NX pte
0xffff8804081ff000-0xffff880408202000 12K ro GLB NX pte
0xffff880408202000-0xffff880408268000 408K RW GLB NX pte
0xffff880408268000-0xffff88040826a000 8K ro GLB NX pte
0xffff88040826a000-0xffff8804082e3000 484K RW GLB NX pte
0xffff8804082e3000-0xffff8804082e4000 4K ro GLB NX pte
0xffff8804082e4000-0xffff8804082e9000 20K RW GLB NX pte
0xffff8804082e9000-0xffff8804082eb000 8K ro GLB NX pte
0xffff8804082eb000-0xffff880408310000 148K RW GLB NX pte
0xffff880408310000-0xffff880408312000 8K ro GLB NX pte
0xffff880408312000-0xffff880408338000 152K RW GLB NX pte
0xffff880408338000-0xffff88040833a000 8K ro GLB NX pte
0xffff88040833a000-0xffff880408351000 92K RW GLB NX pte
0xffff880408351000-0xffff880408352000 4K ro GLB NX pte
0xffff880408352000-0xffff88040835e000 48K RW GLB NX pte
0xffff88040835e000-0xffff88040835f000 4K ro GLB NX pte
0xffff88040835f000-0xffff88040837e000 124K RW GLB NX pte
0xffff88040837e000-0xffff880408380000 8K ro GLB NX pte
0xffff880408380000-0xffff8804083f2000 456K RW GLB NX pte
0xffff8804083f2000-0xffff8804083f4000 8K ro GLB NX pte
0xffff8804083f4000-0xffff880408400000 48K RW GLB NX pte
0xffff880408400000-0xffff880408e00000 10M RW PSE GLB NX pmd
0xffff880408e00000-0xffff880408e78000 480K RW GLB NX pte
0xffff880408e78000-0xffff880408e79000 4K ro GLB NX pte
0xffff880408e79000-0xffff880409000000 1564K RW GLB NX pte
0xffff880409000000-0xffff88040a200000 18M RW PSE GLB NX pmd
0xffff88040a200000-0xffff88040a3a4000 1680K RW GLB NX pte
0xffff88040a3a4000-0xffff88040a3a5000 4K ro GLB NX pte
0xffff88040a3a5000-0xffff88040a3d2000 180K RW GLB NX pte
0xffff88040a3d2000-0xffff88040a3d3000 4K ro GLB NX pte
0xffff88040a3d3000-0xffff88040a429000 344K RW GLB NX pte
0xffff88040a429000-0xffff88040a42a000 4K ro GLB NX pte
0xffff88040a42a000-0xffff88040a42d000 12K RW GLB NX pte
0xffff88040a42d000-0xffff88040a42e000 4K ro GLB NX pte
0xffff88040a42e000-0xffff88040a43a000 48K RW GLB NX pte
0xffff88040a43a000-0xffff88040a43c000 8K ro GLB NX pte
0xffff88040a43c000-0xffff88040a444000 32K RW GLB NX pte
0xffff88040a444000-0xffff88040a446000 8K ro GLB NX pte
0xffff88040a446000-0xffff88040a4b0000 424K RW GLB NX pte
0xffff88040a4b0000-0xffff88040a4b1000 4K ro GLB NX pte
0xffff88040a4b1000-0xffff88040a4c3000 72K RW GLB NX pte
0xffff88040a4c3000-0xffff88040a4c4000 4K ro GLB NX pte
0xffff88040a4c4000-0xffff88040a528000 400K RW GLB NX pte
0xffff88040a528000-0xffff88040a529000 4K ro GLB NX pte
0xffff88040a529000-0xffff88040a598000 444K RW GLB NX pte
0xffff88040a598000-0xffff88040a599000 4K ro GLB NX pte
0xffff88040a599000-0xffff88040a59e000 20K RW GLB NX pte
0xffff88040a59e000-0xffff88040a5a0000 8K ro GLB NX pte
0xffff88040a5a0000-0xffff88040a5c0000 128K RW GLB NX pte
0xffff88040a5c0000-0xffff88040a5c1000 4K ro GLB NX pte
0xffff88040a5c1000-0xffff88040a5d4000 76K RW GLB NX pte
0xffff88040a5d4000-0xffff88040a5d5000 4K ro GLB NX pte
0xffff88040a5d5000-0xffff88040a715000 1280K RW GLB NX pte
0xffff88040a715000-0xffff88040a716000 4K ro GLB NX pte
0xffff88040a716000-0xffff88040a800000 936K RW GLB NX pte
0xffff88040a800000-0xffff88040ac00000 4M RW PSE GLB NX pmd
0xffff88040ac00000-0xffff88040ac77000 476K RW GLB NX pte
0xffff88040ac77000-0xffff88040ac78000 4K ro GLB NX pte
0xffff88040ac78000-0xffff88040acae000 216K RW GLB NX pte
0xffff88040acae000-0xffff88040acb0000 8K ro GLB NX pte
0xffff88040acb0000-0xffff88040acb2000 8K RW GLB NX pte
0xffff88040acb2000-0xffff88040acb4000 8K ro GLB NX pte
0xffff88040acb4000-0xffff88040accc000 96K RW GLB NX pte
0xffff88040accc000-0xffff88040acce000 8K ro GLB NX pte
0xffff88040acce000-0xffff88040ace0000 72K RW GLB NX pte
0xffff88040ace0000-0xffff88040ace2000 8K ro GLB NX pte
0xffff88040ace2000-0xffff88040ad65000 524K RW GLB NX pte
0xffff88040ad65000-0xffff88040ad66000 4K ro GLB NX pte
0xffff88040ad66000-0xffff88040adbe000 352K RW GLB NX pte
0xffff88040adbe000-0xffff88040adc0000 8K ro GLB NX pte
0xffff88040adc0000-0xffff88040addd000 116K RW GLB NX pte
0xffff88040addd000-0xffff88040adde000 4K ro GLB NX pte
0xffff88040adde000-0xffff88040b000000 2184K RW GLB NX pte
0xffff88040b000000-0xffff88040c200000 18M RW PSE GLB NX pmd
0xffff88040c200000-0xffff88040c3ae000 1720K RW GLB NX pte
0xffff88040c3ae000-0xffff88040c3af000 4K ro GLB NX pte
0xffff88040c3af000-0xffff88040c400000 324K RW GLB NX pte
0xffff88040c400000-0xffff88041ee00000 298M RW PSE GLB NX pmd
0xffff88041ee00000-0xffff880440000000 530M pmd
0xffff880440000000-0xffff888000000000 495G pud
0xffff888000000000-0xffffc90000000000 66048G pgd

--
Mihai DonÈu
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/