page.c now uses mem_pools and stores entries in non-pageable memory