Symbol: hv_flush_tlb_others_ex
sys/dev/hyperv/vmbus/hyperv_mmu.c
237
status = hv_flush_tlb_others_ex(pmap, addr1, addr2, mask, op, sc);
sys/dev/hyperv/vmbus/vmbus_var.h
226
uint64_t hv_flush_tlb_others_ex(pmap_t, vm_offset_t, vm_offset_t,