pmap_md_tlb_asid_max
KASSERT(asid_max == pmap_md_tlb_asid_max());
const tlb_asid_t asid_max = pmap_md_tlb_asid_max();