smp_targeted_tlb_shootdown
smp_targeted_tlb_shootdown_t smp_targeted_tlb_shootdown =
smp_targeted_tlb_shootdown(pmap, 0, 0, curcpu_cb, invl_op_tlb);
smp_targeted_tlb_shootdown(pmap, addr, 0, curcpu_cb, invl_op_pg);
smp_targeted_tlb_shootdown(pmap, addr1, addr2, curcpu_cb,
smp_targeted_tlb_shootdown(kernel_pmap, 0, 0, curcpu_cb, INVL_OP_CACHE);
extern smp_targeted_tlb_shootdown_t smp_targeted_tlb_shootdown;
smp_targeted_tlb_shootdown = &hyperv_vm_tlb_flush;
smp_targeted_tlb_shootdown = &smp_targeted_tlb_shootdown_native;
smp_targeted_tlb_shootdown(mask, IPI_INVLTLB, pmap, 0, 0, curcpu_cb);
smp_targeted_tlb_shootdown(mask, IPI_INVLPG, pmap, addr, 0, curcpu_cb);
smp_targeted_tlb_shootdown(mask, IPI_INVLRNG, pmap, addr1, addr2,
smp_targeted_tlb_shootdown(all_cpus, IPI_INVLCACHE, NULL, 0, 0,