osfmk/x86_64/pmap_pcid.c

256 	boolean_t	pcid_conflict = FALSE, pending_flush = FALSE;
268 	pending_flush = (tpmap->pmap_pcid_coherency_vector[ccpu] != 0);
269 	if (__probable(pending_flush == FALSE)) {
273 	if (__improbable(pending_flush || pcid_conflict)) {
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));
290 	if (!pending_flush) {
300 		pending_flush = (tpmap->pmap_pcid_coherency_vector[ccpu] != 0);
301 		if (__improbable(pending_flush != 0)) {
308 	KERNEL_DEBUG_CONSTANT(0x9c1d0000, tpmap, new_pcid, pending_flush, pcid_conflict, 0);