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

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

I see now.  Good catch! 

> -----Original Message-----
> From: Tian, Kevin [mailto:kevin.tian@xxxxxxxxx] 
> Sent: Monday, October 31, 2005 5:33 PM
> To: Magenheimer, Dan (HP Labs Fort Collins); 
> xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
> Subject: RE: [Xen-ia64-devel] [PATCH] Fix delivering guest vhpt fault
> 
> I tried that, but failed because IA64_VHPT_TRANS_VECTOR is 
> defined same as IA64_NO_FAULT. So add that one line patch 
> being lazy to change more. ;-)
> 
> Thanks,
> Kevin
> 
> >-----Original Message-----
> >From: Magenheimer, Dan (HP Labs Fort Collins) 
> [mailto:dan.magenheimer@xxxxxx]
> >Sent: 2005å11æ1æ 7:22
> >To: Tian, Kevin; xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
> >Subject: RE: [Xen-ia64-devel] [PATCH] Fix delivering guest vhpt fault
> >
> >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