pmap_tlb_shootdown
pmap_tlb_shootdown(pmap, sva, pte_bits,
pmap_tlb_shootdown(pmap,
pmap_tlb_shootdown(pmap,
pmap_tlb_shootdown(pmap, va, pte_bits, &tlbctx);
pmap_tlb_shootdown(pmap, va, opte, &tlbctx);
void pmap_tlb_shootdown(pmap_t, vaddr_t, pt_entry_t, tlbwhy_t);
pmap_tlb_shootdown(pmap_kernel(), va, opte, TLBSHOOT_KENTER);
pmap_tlb_shootdown(pmap_kernel(), va, opte,
pmap_tlb_shootdown(pmap, invaladdr + index * PAGE_SIZE,
pmap_tlb_shootdown(pmap, -1L, 0, TLBSHOOT_REMOVE_ALL);
pmap_tlb_shootdown(pmap, va, opte, TLBSHOOT_REMOVE_PTE);
pmap_tlb_shootdown(pmap, va, opte, TLBSHOOT_SYNC_PV);
pmap_tlb_shootdown(pmap, tva, opte,
pmap_tlb_shootdown(pmap, va, opte, TLBSHOOT_ENTER);
pmap_tlb_shootdown(pmap, va, 0, TLBSHOOT_ENTER);
pmap_tlb_shootdown(pmap, va, 0, TLBSHOOT_REMOVE_PTE);
pmap_tlb_shootdown(pmap, va, 0, TLBSHOOT_SYNC_PV);
pmap_tlb_shootdown(pmap, tva, 0,
pmap_tlb_shootdown(pmap_kernel(), va, opte,
pmap_tlb_shootdown(pmap_kernel(), -1, PTE_G, TLBSHOOT_NVMM);
pmap_tlb_shootdown(pmap_kernel(), -1, PTE_G, TLBSHOOT_NVMM);
pmap_tlb_shootdown(pmap_kernel(), -1, PTE_G, TLBSHOOT_NVMM);