Searched refs:alloc_asid (Results 1 – 1 of 1) sorted by relevance
1792 bool alloc_asid; in check_asid() local1835 alloc_asid = false; in check_asid()1840 alloc_asid = true; /* (c) and (d) */ in check_asid()1845 alloc_asid = true; /* (b2) */ in check_asid()1850 KASSERT(!alloc_asid, ("ASID allocation not necessary")); in check_asid()1855 if (alloc_asid) { in check_asid()