On Mon, Jul 30, 2018, 3:14 PM Christopher Friedt, <chrisfriedt@gmail.com>
wrote:

> For a 4096-byte page, on a 32-bit system, that would be 4 + 4 + 256 = 304
> bytes of overhead.
>

Sorry, today is a bad day for math.

For 4096 byte pages on a 32-bit system, U = 4096 = 2^12, n = 12-3+1 = 10.
So the overhead is 4 + 4 + 128 = 136 bytes.

>