NB_IN_PT2TAB
pmap->pm_pt2tab = kmem_alloc_attr(NB_IN_PT2TAB,
pte2_sync_range(pmap->pm_pt2tab, NB_IN_PT2TAB);
#define NPT2_IN_PT2TAB (NB_IN_PT2TAB / NB_IN_PT2)
#define NPG_IN_PT2TAB (NB_IN_PT2TAB / PAGE_SIZE)
CTASSERT(NB_IN_PT2TAB == (NPT2_IN_PT2TAB * NB_IN_PT2));
CTASSERT(NB_IN_PT2TAB == (NPG_IN_PT2TAB * PAGE_SIZE));
bzero(kern_pt2tab, NB_IN_PT2TAB);
pte2_sync_range(kern_pt2tab, NB_IN_PT2TAB);