Searched refs:alloc_asid (Results 1 – 1 of 1) sorted by relevance
1754 bool alloc_asid; in check_asid() local1797 alloc_asid = false; in check_asid()1802 alloc_asid = true; /* (c) and (d) */ in check_asid()1807 alloc_asid = true; /* (b2) */ in check_asid()1812 KASSERT(!alloc_asid, ("ASID allocation not necessary")); in check_asid()1817 if (alloc_asid) { in check_asid()