On Wed, 2011-06-29 at 14:40 -0500, Scott Wood wrote: > What is the "weird page table format" referred to by the normal miss > handler? Not sure :-) Probably the fact that we allocate 64K for PTE pages but only use 32K of them ? Cheers, Ben.