translate_domain_pte() must handle ED bit explicitly. This case can occur because of vcpu_itc_d(). -- yamahata
8903:60fe32303c84.patch Description: Text document
_______________________________________________ Xen-ia64-devel mailing list Xen-ia64-devel@xxxxxxxxxxxxxxxxxxx http://lists.xensource.com/xen-ia64-devel