osfmk/x86_64/pmap_pcid.c

93 			if (cpu_datap(i)) {
94 				cpu_datap(i)->cpu_pmap_pcid_enabled = FALSE;
98 		cpu_datap(ccpu)->cpu_pmap_pcid_enabled = FALSE;
107 		cpu_datap(ccpu)->cpu_pmap_pcid_enabled = FALSE;
112 		cpu_datap(ccpu)->cpu_pmap_pcid_enabled = TRUE;
129 		cpu_datap(ccpu)->cpu_pmap_pcid_enabled = TRUE;
134 		cpu_datap(ccpu)->cpu_pmap_pcid_coherentp =
135 		    cpu_datap(ccpu)->cpu_pmap_pcid_coherentp_kernel =
137 		cpu_datap(ccpu)->cpu_pcid_refcounts[0] = 1;
170 	pcid_ref_t	*cpu_pcid_refcounts = &cpu_datap(ccpu)->cpu_pcid_refcounts[0];
173 	if ((i = cpu_datap(ccpu)->cpu_pcid_free_hint) != 0) {
176 			cpu_datap(ccpu)->cpu_pcid_free_hint = 0;
224 	lp = cpu_datap(ccpu)->cpu_pcid_last_pmap_dispatched[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;
258 	pmap_assert(cpu_datap(ccpu)->cpu_pmap_pcid_enabled);
264 	cpu_datap(ccpu)->cpu_last_pcid = cpu_datap(ccpu)->cpu_active_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;
306 	cpu_datap(ccpu)->cpu_pmap_pcid_coherentp = &(tpmap->pmap_pcid_coherency_vector[ccpu]);