osfmk/arm/pmap.c

517 static vm_offset_t pm_asid_hint = KERNEL_ASID_PID + 1;
2262     assert(pm_asid_hint <= pm_asid_max);
2267     if (TLBINFO_ASID_INUSE_P(pm_asid_bitmap, pm_asid_hint)) {
2270         for (size_t i = 0; i < pm_asid_hint / nbpw; i++) {
2273         for (size_t i = pm_asid_hint / nbpw;; i++) {
2289                 pm_asid_hint = n + i * nbpw;
2293         assert(pm_asid_hint > KERNEL_ASID_PID);
2294         assert(TLBINFO_ASID_INUSE_P(pm_asid_bitmap, pm_asid_hint - 1));
2295         assert(!TLBINFO_ASID_INUSE_P(pm_asid_bitmap, pm_asid_hint));
2303     map->pm_asid = pm_asid_hint++;