[Xen-ia64-devel] PATCH: vti bugs fix

[Tristan Gingold <Tristan.Gingold@xxxxxxxx>]

Hi,

this patch fixes two bugs in vti code:
* guest_vhpt_lookup fails on long-format vhpt instead of reading it as
  a short-format one.
  This patch could be improved by reading the entry.  This is future work.
* vtlb_purge loops infinitly if VA is high enough and some high bits are set 
in psbits.

Tested by running a VTi domain with a long-format vhpt.

Tristan.

Attachment: xen-vti1.diffs
Description: Text Data

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