pmap_tlb_shootpage
pmap_tlb_shootpage(pmap, invaladdr + index * PAGE_SIZE,
pmap_tlb_shootpage(pmap, sva, shootself);
pmap_tlb_shootpage(pve->pv_pmap, pve->pv_va, shootself);
pmap_tlb_shootpage(pve->pv_pmap, pve->pv_va,
pmap_tlb_shootpage(pmap, va, shootself);
pmap_tlb_shootpage(pmap, va, shootself);
void pmap_tlb_shootpage(struct pmap *, vaddr_t, int);
pmap_tlb_shootpage(pmap_kernel(), va, 1);
pmap_tlb_shootpage(curcpu()->ci_curpmap, ((vaddr_t)ptes) + ptp->offset);
pmap_tlb_shootpage(pm, ((vaddr_t)PTE_BASE) + ptp->offset);
pmap_tlb_shootpage(pve->pv_pmap, pve->pv_va);
pmap_tlb_shootpage(pve->pv_pmap, pve->pv_va);
pmap_tlb_shootpage(pmap, va);
pmap_tlb_shootpage(pm, va);
pmap_tlb_shootpage(pmap_kernel(), va);
pmap_tlb_shootpage(pve->pv_pmap, pve->pv_va);
pmap_tlb_shootpage(pve->pv_pmap, pve->pv_va);
pmap_tlb_shootpage(pmap, va);
pmap_tlb_shootpage(curcpu()->ci_curpmap, ((vaddr_t)ptes) + ptp->offset);
pmap_tlb_shootpage(pm, ((vaddr_t)PTE_BASE) + ptp->offset);
void pmap_tlb_shootpage(struct pmap *, vaddr_t);