RE: [Xen-ia64-devel] [PATCH] translate_domain_pte must handle ED bit

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

>From: Isaku Yamahata
>Sent: 2006年2月20日 16:32
>
>translate_domain_pte() must handle ED bit explicitly.
>This case can occur because of vcpu_itc_d().
>
>--
>Yamahata

Seems a bug, however do you know why it only jumps out now? Seems PAGE_ED is 
likely on in lookup_domain_mpa...

BTW, bit[53-63] are ignored bits per 4.1.1.5 of SDM2, and then you can just 
ignore them instead of BUG there. ;-)

Thanks,
Kevin

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