Searched refs:pshared (Results 1 – 1 of 1) sorted by relevance
3079 process_pmap_updates(pmap_t p, bool pshared, addr64_t istart, addr64_t iend) in process_pmap_updates() argument3103 pmap_tlbi_range(istart, iend, (pshared || gtlbf), p->pmap_pcid_cpus[ccpu]); in process_pmap_updates()