|
|
|
|
|
|
|
|
|
|
xen-ia64-devel
RE: [Xen-ia64-devel] [PATCH] translate_domain_pte must handle ED bit
>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
|
|
|
|
|