Searched refs:pmap_pcid_cpus (Results 1 – 3 of 3) sorted by relevance
161 unsigned nc = sizeof(p->pmap_pcid_cpus) / sizeof(pcid_t); in pmap_pcid_initialize()165 p->pmap_pcid_cpus[i] = PMAP_PCID_INVALID_PCID; in pmap_pcid_initialize()176 unsigned nc = sizeof(p->pmap_pcid_cpus) / sizeof(pcid_t); in pmap_pcid_initialize_kernel()179 p->pmap_pcid_cpus[i] = 0; in pmap_pcid_initialize_kernel()242 pcid = tpmap->pmap_pcid_cpus[ccpu]; in pmap_pcid_deallocate_pcid()268 if (p->pmap_pcid_cpus[i] != PMAP_PCID_INVALID_PCID) { in pmap_destroy_pcid_sync()285 return active_pmap->pmap_pcid_cpus[ccpu]; in pcid_for_pmap_cpu_tuple()298 pcid_t new_pcid = tpmap->pmap_pcid_cpus[ccpu]; in pmap_pcid_activate()305 new_pcid = tpmap->pmap_pcid_cpus[ccpu] = pmap_pcid_allocate_pcid(ccpu); in pmap_pcid_activate()342 new_pcid = kernel_pmap->pmap_pcid_cpus[ccpu]; in pmap_pcid_activate()[all …]
3163 pmap_tlbi_range(istart, iend, (pshared || gtlbf), p->pmap_pcid_cpus[ccpu]); in process_pmap_updates()
595 pcid_t pmap_pcid_cpus[PMAP_PCID_MAX_CPUS]; member