PMAP_SIZE
pool_init(&pmap_pmap_pool, PMAP_SIZE, 0, 0, 0, "pmappl",
pool_init(&pmap_pmap_pool, PMAP_SIZE, 0, 0, 0, "pmappl",
pool_init(&pmap_pmap_pool, PMAP_SIZE, 0, 0, 0, "pmappl",
pool_init(&pmap_pmap_pool, PMAP_SIZE, 0, 0, 0, "pmappl",
memset(pmap, 0, PMAP_SIZE);