On 22 November 2016 at 14:31, Rui Ueyama <ruiu at google.com> wrote: > > The reason why the current value is 0x10000 is described here, and that > makes me wonder why it cannot be 0x200000 instead of 0x400000. Did you mean > that there's an architecture that has 4MB page instead of 2MB? Yes, non-PAE i386 is 4MB.