break;
#endif
default:
- SHADOW_PRINTK("top-level shadow has bad type %08x\n", sp->type);
+ SHADOW_ERROR("top-level shadow has bad type %08x\n", sp->type);
BUG();
}
}
/* Nothing more we can do: all remaining shadows are of pages that
* hold Xen mappings for some vcpu. This can never happen. */
- SHADOW_PRINTK("Can't pre-allocate %i shadow pages!\n"
- " shadow pages total = %u, free = %u, p2m=%u\n",
- 1 << order,
- d->arch.paging.shadow.total_pages,
- d->arch.paging.shadow.free_pages,
- d->arch.paging.shadow.p2m_pages);
+ SHADOW_ERROR("Can't pre-allocate %i shadow pages!\n"
+ " shadow pages total = %u, free = %u, p2m=%u\n",
+ 1 << order,
+ d->arch.paging.shadow.total_pages,
+ d->arch.paging.shadow.free_pages,
+ d->arch.paging.shadow.p2m_pages);
BUG();
}
* It means that we didn't call shadow_prealloc() correctly before
* we allocated. We can't recover by calling prealloc here, because
* we might free up higher-level pages that the caller is working on. */
- SHADOW_PRINTK("Can't allocate %i shadow pages!\n", 1 << order);
+ SHADOW_ERROR("Can't allocate %i shadow pages!\n", 1 << order);
BUG();
found:
break;
#endif
default:
- SHADOW_PRINTK("tried to destroy shadow of bad type %08lx\n",
- (unsigned long)t);
+ SHADOW_ERROR("tried to destroy shadow of bad type %08lx\n",
+ (unsigned long)t);
BUG();
}
}
shadow_l4_index,
validate_gl4e);
#else // ! GUEST_PAGING_LEVELS >= 4
- SHADOW_PRINTK("called in wrong paging mode!\n");
+ SHADOW_ERROR("called in wrong paging mode!\n");
BUG();
return 0;
#endif
shadow_l3_index,
validate_gl3e);
#else // ! GUEST_PAGING_LEVELS >= 4
- SHADOW_PRINTK("called in wrong paging mode!\n");
+ SHADOW_ERROR("called in wrong paging mode!\n");
BUG();
return 0;
#endif
shadow_l2_index,
validate_gl2e);
#else /* Non-PAE guests don't have different kinds of l2 table */
- SHADOW_PRINTK("called in wrong paging mode!\n");
+ SHADOW_ERROR("called in wrong paging mode!\n");
BUG();
return 0;
#endif