Re: PAGE_SIZE query

[Nikhil Talpallikar]

Hi,

Then should not the PAGE_SHIFT be 13 for the page size to be 4k on a x86
arch.?

cheers,
Nikhil