|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
RE: [Xen-ia64-devel] RE: [PATCH] Patch to make latesthgmulti-domainback
>From: Magenheimer, Dan (HP Labs Fort Collins)
[mailto:dan.magenheimer@xxxxxx]
>
>> >>The problem (PL2 vs PL0) still occurs even with
>> >>that code turned off.
>> >
>> >When you disable FAST_PTC_GA, it then goes to vcpu_ptc_ga which
still
>> >only handle vcpu->arch.dtlb, without touching vcpu->arch.dtlb_pte.
In
>> >this case, once match_dtlb begins to return guest pte in my patch,
it
>> >may contain stale value since dtlb_pte is not handled in
vcpu_ptc_ga.
>> >
>>
>> So what I really mean here is that you should purge dtlb_pte/itlb_pte
>> (guest pte entry) in vcpu_ptc_ga and hyper_ptc_ga.
>
>I'm not sure I understand. arch.dtlb_pte is just some data associated
>with arch.dtlb. It gets set whenever arch.dtlb gets set and it
>only gets used if arch.dtlb matches and is valid. IIRC, its only
>use is to save away the metaphysical address so vcpu_tpa (and IIRC,
>indirectly, vcpu_fc?) is guaranteed to be able to find it. So what
>do you mean by "purge dtlb_pte"?
OK, I see it now.
Thanks,
Kevin
_______________________________________________
Xen-ia64-devel mailing list
Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-ia64-devel
|
|
|
|
|