Searched refs:put_vsie_page (Results 1 – 1 of 1) sorted by relevance
1416 static void put_vsie_page(struct kvm *kvm, struct vsie_page *vsie_page) in put_vsie_page() function1473 put_vsie_page(vcpu->kvm, vsie_page); in kvm_s390_handle_vsie()