PMAP_SEGTABSIZE
const vaddr_t segtab_mask = PMAP_SEGTABSIZE - 1;
union pmap_segtab * seg_seg[PMAP_SEGTABSIZE];
pmap_ptpage_t * seg_ppg[PMAP_SEGTABSIZE];
vaddr_t segtab_mask = PMAP_SEGTABSIZE - 1;
__CTASSERT(NSEGPG >= PMAP_SEGTABSIZE);
__CTASSERT(NSEGPG % PMAP_SEGTABSIZE == 0);
for (size_t i = 0; i < PMAP_SEGTABSIZE; i++) {
for (size_t j = i; j < PMAP_SEGTABSIZE; j++)
vaddr_t segtab_mask = PMAP_SEGTABSIZE - 1;
__CTASSERT(PMAP_PDETABSIZE == PMAP_SEGTABSIZE);
for (size_t i = (va / vinc) & (PMAP_SEGTABSIZE - 1);
i < PMAP_SEGTABSIZE;