osfmk/arm/pmap_asid.c

272     asid_t      new_asid = tpmap->pmap_asid_cpus[ccpu];
276     if (__improbable(new_asid == PMAP_ASID_INVALID_ASID)) {
277         new_asid = tpmap->pmap_asid_cpus[ccpu] = pmap_asid_allocate_asid(ccpu);
279     assert(new_asid != PMAP_ASID_INVALID_ASID);
280     cpu_datap(ccpu)->cpu_active_asid = new_asid;
284         last_pmap = cpu_datap(ccpu)->cpu_asid_last_pmap_dispatched[new_asid];
291     cpu_datap(ccpu)->cpu_asid_last_pmap_dispatched[new_asid] = tpmap;
293     assert(new_asid < PMAP_ASID_MAX_ASID);
294     assert(((tpmap ==  kernel_pmap) && new_asid == 0) || ((new_asid != PMAP_ASID_INVALID_ASID) && (new_asid != 0)));
295     tpmap->pm_asid = new_asid;
301             tpmap->pm_asid = new_asid;
302             kprintf("pending_flush not needed, handle this! new_asid: %x\n", new_asid);