kvm_unmap_gfn_range
flush = kvm_unmap_gfn_range(kvm, &range);
return kvm_unmap_gfn_range(kvm, range);
bool kvm_unmap_gfn_range(struct kvm *kvm, struct kvm_gfn_range *range);
return kvm_unmap_gfn_range(kvm, range);