>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 [email protected] http://lists.xensource.com/xen-ia64-devel
