pmap_shootdown_range
pmap_shootdown_range(pmap_kernel(), va, va + PAGE_SIZE,
pmap_shootdown_range(pmap, va, va + PAGE_SIZE, needisync);
pmap_shootdown_range(pmap_kernel(), va, va + PAGE_SIZE, 0);
pmap_shootdown_range(pmap_kernel(), va, va + PAGE_SIZE, 0);
pmap_shootdown_range(pmap_kernel(), pv->pv_va,
pmap_shootdown_range(pv->pv_pmap, pv->pv_va,
pmap_shootdown_range(pmap_kernel(), pv->pv_va,
pmap_shootdown_range(pv->pv_pmap, pv->pv_va,
pmap_shootdown_range(pmap_kernel(), sva, eva, 0);
pmap_shootdown_range(pmap, sva, eva, needisync);
pmap_shootdown_range(pmap_kernel(), pv->pv_va,
pmap_shootdown_range(pv->pv_pmap, pv->pv_va,
void pmap_shootdown_range(pmap_t, vaddr_t, vaddr_t, int);
pmap_shootdown_range(pmap_kernel(), sva, eva, 0);
pmap_shootdown_range(pmap, sva, eva, needisync);