osfmk/x86_64/pmap_pcid.c

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);