RE: [Xen-ia64-devel] [PATCH] Fix delivering guest vhpt fault

["Magenheimer, Dan (HP Labs Fort Collins)" <dan.magenheimer@xxxxxx>]

Actually I think the correct fix for this is in vcpu.c, changing
the "return IA64_VHPT_FAULT" to "return IA64_VHPT_TRANS_VECTOR"
(and also removing the definition of IA64_VHPT_FAULT from ia64_int.h
as it is no longer used).  Do you agree?

Thanks,
Dan 

> -----Original Message-----
> From: xen-ia64-devel-bounces@xxxxxxxxxxxxxxxxxxx 
> [mailto:xen-ia64-devel-bounces@xxxxxxxxxxxxxxxxxxx] On Behalf 
> Of Tian, Kevin
> Sent: Monday, October 31, 2005 5:28 AM
> To: xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
> Subject: [Xen-ia64-devel] [PATCH] Fix delivering guest vhpt fault
> 
> We need mask lower bits of vector in check_bad_nested_interruption, or
> else I saw endless "psr.ic off, delivering fault=7..." when ready to
> deliver vhpt fault to dom0 after some domain switches.
> 
> Signed-off-by Kevin Tian <Kevin.tian@xxxxxxxxx>
> 
> Thanks,
> Kevin
> 

_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel