kvm_release_faultin_page
kvm_release_faultin_page(kvm, page, !!ret, writable);
kvm_release_faultin_page(kvm, page, !!ret, writable);
kvm_release_faultin_page(vcpu->kvm, page, false, vt->wr.pw);
kvm_release_faultin_page(kvm, page, false, writeable);
kvm_release_faultin_page(kvm, page, false, writeable);
kvm_release_faultin_page(kvm, page, false,
kvm_release_faultin_page(kvm, page, !!ret, writable);
kvm_release_faultin_page(kvm, page, ret && ret != -EEXIST, writable);
kvm_release_faultin_page(kvm, f->page, true, false);
kvm_release_faultin_page(kvm, f->page, !!rc, f->write_attempt);
kvm_release_faultin_page(kvm, f->page, true, false);
kvm_release_faultin_page(kvm, guest_faults[i].page, ignore,
kvm_release_faultin_page(vcpu->kvm, fault->refcounted_page,