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