|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
RE: [Xen-ia64-devel] RE: [PATCH] Patch to make latest hgmulti-domainback
> > 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
|
|
|
|
|