Mailing List Archive

# HG changeset patch
# User djm@kirby.fc.hp.com
# Node ID ff81b875b1364ad7113f7b2eca26d8052e08dcf4
# Parent 72f51528d55a9b99f8c7737b34bf6f370de0de7f
Certain faults should not be reflected if caused with priv=0
Signed-off-by Kevin Tian <kevin.tian@intel.com>

diff -r 72f51528d55a -r ff81b875b136 xen/arch/ia64/xen/process.c
--- a/xen/arch/ia64/xen/process.c Wed Dec 21 14:27:09 2005
+++ b/xen/arch/ia64/xen/process.c Wed Dec 21 14:36:03 2005
@@ -715,9 +715,9 @@
unsigned long check_lazy_cover = 0;
unsigned long psr = regs->cr_ipsr;

- if (!(psr & IA64_PSR_CPL)) {
- printk("ia64_handle_reflection: reflecting with priv=0!!\n");
- }
+ /* Following faults shouldn'g be seen from Xen itself */
+ if (!(psr & IA64_PSR_CPL)) BUG();
+
switch(vector) {
case 8:
vector = IA64_DIRTY_BIT_VECTOR; break;

_______________________________________________
Xen-changelog mailing list
Xen-changelog@lists.xensource.com
http://lists.xensource.com/xen-changelog