PMAP_TLB_BITMAP_LENGTH
KASSERT(ti->ti_asid_max < PMAP_TLB_BITMAP_LENGTH);
KASSERT(ti->ti_asid_max < PMAP_TLB_BITMAP_LENGTH);
#ifndef PMAP_TLB_BITMAP_LENGTH
__BITMAP_TYPE(, u_long, PMAP_TLB_BITMAP_LENGTH) ti_asid_bitmap;