Symbol: __hv_flush_remote_tlbs_range
arch/x86/kvm/kvm_onhyperv.c
102
return __hv_flush_remote_tlbs_range(kvm, &range);
arch/x86/kvm/kvm_onhyperv.c
108
return __hv_flush_remote_tlbs_range(kvm, NULL);