Symbol: hv_vm_tlb_flush
sys/dev/hyperv/vmbus/vmbus.c
811
return hv_vm_tlb_flush(pmap, addr1, addr2, op, sc, curcpu_cb);
sys/dev/hyperv/vmbus/vmbus_var.h
228
void hv_vm_tlb_flush(pmap_t, vm_offset_t, vm_offset_t,