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. info tlb shows PA : VA, right? Alex
