Home
last modified time | relevance | path

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

/xnu-8020.101.4/osfmk/x86_64/
H A Dpmap_pcid.c298 pcid_t new_pcid = tpmap->pmap_pcid_cpus[ccpu]; in pmap_pcid_activate() local
304 if (__improbable(new_pcid == PMAP_PCID_INVALID_PCID)) { in pmap_pcid_activate()
305 new_pcid = tpmap->pmap_pcid_cpus[ccpu] = pmap_pcid_allocate_pcid(ccpu); in pmap_pcid_activate()
308 pmap_assert(new_pcid != PMAP_PCID_INVALID_PCID); in pmap_pcid_activate()
312 cpu_datap(ccpu)->cpu_active_pcid = new_pcid; in pmap_pcid_activate()
316 last_pmap = pcdata->cpu_pcid_last_pmap_dispatched[new_pcid]; in pmap_pcid_activate()
323 pcdata->cpu_pcid_last_pmap_dispatched[new_pcid] = tpmap; in pmap_pcid_activate()
325 pmap_assert(new_pcid < PMAP_PCID_MAX_PCID); in pmap_pcid_activate()
326 pmap_assert(((tpmap == kernel_pmap) && new_pcid == 0) || in pmap_pcid_activate()
327 ((new_pcid != PMAP_PCID_INVALID_PCID) && (new_pcid != 0))); in pmap_pcid_activate()
[all …]