Searched refs:pmap_pcid_ncpus (Results 1 – 5 of 5) sorted by relevance
58 uint32_t pmap_pcid_ncpus; variable103 pmap_pcid_ncpus = 0; in pmap_pcid_configure()146 if (OSIncrementAtomic(&pmap_pcid_ncpus) == machine_info.max_cpus) { in pmap_pcid_configure()147 …_pcid_log("All PCIDs enabled: real_ncpus: %d, pmap_pcid_ncpus: %d\n", real_ncpus, pmap_pcid_ncpus); in pmap_pcid_configure()437 if (pmap_pcid_ncpus) { in pmap_tlbi_range()
249 if (nopagezero && pmap_pcid_ncpus) { in copyio()371 if (nopagezero && pmap_pcid_ncpus) { in copyio()
536 if (pmap_pcid_ncpus) { in pmap_bootstrap()1672 if (pmap_pcid_ncpus) { in pmap_create_options()1797 if (pmap_pcid_ncpus) { in pmap_destroy()2997 if (pmap_pcid_ncpus) { in pmap_flush_tlbs()3156 if (pmap_pcid_ncpus) { in process_pmap_updates()
47 extern uint32_t pmap_pcid_ncpus;
677 if (pmap_pcid_ncpus) { in set_dirbase()689 if (pmap_pcid_ncpus) { in set_dirbase()813 …pmap_pcid_ncpus ? (pcid_for_pmap_cpu_tuple(map->pmap, thread, ccpu) == (get_cr3_raw() & 0xFFF)) : …