__kvm_s390_pv_destroy_page
__kvm_s390_pv_destroy_page(phys_to_page(cur));
__kvm_s390_pv_destroy_page(phys_to_page(pte_origin(*ptep)));
rc = __kvm_s390_pv_destroy_page(page);