osfmk/x86_64/pmap_pcid.c

215 	pcid_t pcid;
219 	pcid = tpmap->pmap_pcid_cpus[ccpu];
220 	pmap_assert(pcid != PMAP_PCID_INVALID_PCID);
221 	if (pcid == PMAP_PCID_INVALID_PCID)
224 	lp = cpu_datap(ccpu)->cpu_pcid_last_pmap_dispatched[pcid];
225 	pmap_assert(pcid > 0 && pcid < PMAP_PCID_MAX_PCID);
226 	pmap_assert(cpu_datap(ccpu)->cpu_pcid_refcounts[pcid] >= 1);
229 		(void)__sync_bool_compare_and_swap(&cpu_datap(ccpu)->cpu_pcid_last_pmap_dispatched[pcid], tpmap, PMAP_INVALID);
231 	if ((prior_count = __sync_fetch_and_sub(&cpu_datap(ccpu)->cpu_pcid_refcounts[pcid], 1)) == 1) {
232 		    cpu_datap(ccpu)->cpu_pcid_free_hint = pcid;