|
@@ -455,8 +455,10 @@ static void kvmppc_patch_dcbz(struct kvm_vcpu *vcpu, struct kvmppc_pte *pte)
|
|
|
int i;
|
|
|
|
|
|
hpage = gfn_to_page(vcpu->kvm, pte->raddr >> PAGE_SHIFT);
|
|
|
- if (is_error_page(hpage))
|
|
|
+ if (is_error_page(hpage)) {
|
|
|
+ kvm_release_page_clean(hpage);
|
|
|
return;
|
|
|
+ }
|
|
|
|
|
|
hpage_offset = pte->raddr & ~PAGE_MASK;
|
|
|
hpage_offset &= ~0xFFFULL;
|