PMAP_TLB_NUM_PIDS
#define PMAP_TLB_BITMAP_LENGTH PMAP_TLB_NUM_PIDS
#define pmap_md_tlb_asid_max() (PMAP_TLB_NUM_PIDS - 1)
return PMAP_TLB_NUM_PIDS - 1;
return PMAP_TLB_NUM_PIDS - 1;
KASSERT(ret < PMAP_TLB_NUM_PIDS);
#define PMAP_TLB_BITMAP_LENGTH PMAP_TLB_NUM_PIDS
memset(ptr, 0xff, PMAP_TLB_NUM_PIDS / NBBY);
return PMAP_TLB_NUM_PIDS - 1;
#ifdef PMAP_TLB_NUM_PIDS
.ti_asid_max = IFCONSTANT(PMAP_TLB_NUM_PIDS - 1),
TLBINFO_ASID_INITIAL_FREE(PMAP_TLB_NUM_PIDS - 1)),