6317e3ad00
The page_tree struct was doing a lot of bit manipulation to keep its base, level, and flags in a single uint64_t. But since this is such a large structure anyway, another word doesn't change it much and greatly simplifies both the code and reasoning about it.