|
@@ -297,7 +297,8 @@ static inline void kvmppc_e500_shadow_map(struct kvmppc_vcpu_e500 *vcpu_e500,
|
|
|
/* Get reference to new page. */
|
|
|
new_page = gfn_to_page(vcpu_e500->vcpu.kvm, gfn);
|
|
|
if (is_error_page(new_page)) {
|
|
|
- printk(KERN_ERR "Couldn't get guest page for gfn %lx!\n", gfn);
|
|
|
+ printk(KERN_ERR "Couldn't get guest page for gfn %lx!\n",
|
|
|
+ (long)gfn);
|
|
|
kvm_release_page_clean(new_page);
|
|
|
return;
|
|
|
}
|