On Tue, Dec 7, 2010 at 10:08 AM, Alexander Graf <ag...@suse.de> wrote: > > On 06.12.2010, at 19:38, Blue Swirl wrote: > >> On Mon, Dec 6, 2010 at 11:12 AM, Alexander Graf <ag...@suse.de> wrote: >>> >>> On 05.12.2010, at 17:25, Blue Swirl wrote: >>> >>>> 'info tlb' didn't show correct information for PAE mode and >>>> x86_64 long mode. >>>> >>>> Implement the missing modes. Also print NX bit for PAE and long modes. >>>> Fix off-by-one error in 32 bit mode mask. >>>> >>>> Signed-off-by: Blue Swirl <blauwir...@gmail.com> >>>> --- >>>> >>>> I didn't find an OS that enabled PAE, please test and report. >>> >>> Xen does. Just take a random recent xen kernel and run it with -kernel :). >> >> Thanks, it does (CR4 is 0xb0). I'm not sure all is correct, after >> 0x1000000 the dump looks messy: >> 0000000000c00000: 0000000000c00000 --PDA---W >> 0000000000e00000: 0000000000e00000 --PDA---W >> 0000000001000000: f000ff53f000f000 XG-D-C--W >> 0000000001001000: f000ff53f000e000 X--D----W >> 0000000001002000: f000ff53f000f000 XG-D-C--W >> 0000000001003000: f000ff53f000f000 XG-D-C--W >> 0000000001004000: f000e987f000f000 X---A--U- > > Good question XD. I guess the best way to find out if those numbers are right > would be to trace the page tables manually.
Those were actually caused by a bug of not checking the P bit for intermediate tables, this was fixed in the second version. > info tlb shows PA : VA, right? No, VA : PA.