Symbol: kvm_s390_pv_destroy_page
arch/s390/kvm/kvm-s390.c
4573
if (kvm_s390_pv_destroy_page(vcpu->kvm, gaddr)) {
arch/s390/kvm/kvm-s390.h
319
int kvm_s390_pv_destroy_page(struct kvm *kvm, unsigned long gaddr);