RE: [Xen-ia64-devel] RE: [PATCH] Patch to make latest hgmulti-domainback to work

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

> > Instead vcpu->arch.dtlb_pte is not touched. So after my patch 
> > changed match_dtlb to return guest pte, above problematic 
> > code may leave them out of sync there. Comments?
> 
> I agree this is a bug, but I'm not sure it explains
> the problem.  I will turn off HYPER_PTC_GA and see

            should be FAST_PTC_GA ^^^^^^^^^

> if the problem goes away.

The problem (PL2 vs PL0) still occurs even with
that code turned off.

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