Searched refs:new_pcid (Results 1 - 1 of 1) sorted by relevance

/xnu-2422.115.4/osfmk/x86_64/
H A Dpmap_pcid.c254 pcid_t new_pcid = tpmap->pmap_pcid_cpus[ccpu]; local
259 if (__improbable(new_pcid == PMAP_PCID_INVALID_PCID)) {
260 new_pcid = tpmap->pmap_pcid_cpus[ccpu] = pmap_pcid_allocate_pcid(ccpu);
262 pmap_assert(new_pcid != PMAP_PCID_INVALID_PCID);
266 cpu_datap(ccpu)->cpu_active_pcid = new_pcid;
270 last_pmap = cpu_datap(ccpu)->cpu_pcid_last_pmap_dispatched[new_pcid];
277 cpu_datap(ccpu)->cpu_pcid_last_pmap_dispatched[new_pcid] = tpmap;
279 pmap_assert(new_pcid < PMAP_PCID_MAX_PCID);
280 pmap_assert(((tpmap == kernel_pmap) && new_pcid == 0) || ((new_pcid !
[all...]

Completed in 41 milliseconds