HTABMEMSZ
while (HTABMEMSZ > 8 * SEGMENT_SIZE)
pmap_ptable = pmap_steal_avail(HTABMEMSZ, HTABMEMSZ);
memset(pmap_ptable, 0, HTABMEMSZ);
end = start + HTABMEMSZ;
for (va = (vaddr_t)pmap_ptable; va < (vaddr_t)pmap_ptable + HTABMEMSZ;