Searched refs:pmap_max_asid (Results 1 – 1 of 1) sorted by relevance
146 unsigned pmap_max_asid; /* max ASID supported by the system */ variable589 pmap_max_asid = VMNUM_PIDS; in pmap_bootstrap()3457 if (PCPU_GET(next_asid) == pmap_max_asid) {