hyperv_vm_tlb_flush
smp_targeted_tlb_shootdown = &hyperv_vm_tlb_flush;
void hyperv_vm_tlb_flush(pmap_t, vm_offset_t,