RE: [Xen-ia64-devel] RE: vcpu_translate issue

["Tian, Kevin" <kevin.tian@xxxxxxxxx>]

>From: Tian, Kevin
>>- Xen handling of NULL pointer dereferences is wrong.  If I recall
>>  correctly from vNUMA, we should be delivering a NaT consumption
>>  fault, because Linux maps a NaTpage at 0.  Ideally the NaTpage
>>  memory attribute should be propagated into the real mapping, and
>>  then we can reflect the NaT consumption fault directly to Linux.
>
>We shouldn't depend on guest specific behavior for such assumption. The
preferable
>way is always to search the vTLB to check corresponding attribute. If
it's mapped as
>NaTpage by guest, then inject NaT consumption, or else just inject
normal TLB miss
>to guest.

A correction here. I'm not against propagate NaTpage attribute to
machine TLB, and only claim that Xen can just respond per attribute what
guest specified. No need to care whether page 0 is mapped specially. ;-)

Thanks,
Kevin

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