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-
