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