Lines Matching refs:new_pcid
254 pcid_t new_pcid = tpmap->pmap_pcid_cpus[ccpu];
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 != PMAP_PCID_INVALID_PCID) && (new_pcid != 0)));
282 pcid_record_array[ccpu % PCID_RECORD_SIZE] = tpmap->pm_cr3 | new_pcid | (((uint64_t)(!(pending_flush || pcid_conflict))) <<63);
288 set_cr3_composed(tpmap->pm_cr3, new_pcid, !(pending_flush || pcid_conflict));
303 set_cr3_composed(tpmap->pm_cr3, new_pcid, FALSE);
308 KERNEL_DEBUG_CONSTANT(0x9c1d0000, tpmap, new_pcid, pending_flush, pcid_conflict, 0);