8 messages in com.xensource.lists.xen-ia64-develRE: [Xen-ia64-devel] [PATCH] translat...
FromSent OnAttachments
Isaku Yamahata20 Feb 2006 00:31.patch
Tian, Kevin20 Feb 2006 06:54 
Isaku Yamahata20 Feb 2006 17:20 
Xu, Anthony20 Feb 2006 17:58 
Magenheimer, Dan (HP Labs Fort Collins)22 Feb 2006 15:00 
Xu, Anthony22 Feb 2006 18:16 
Isaku Yamahata21 Apr 2006 00:51.patch
Alex Williamson21 Apr 2006 09:29 
Subject:RE: [Xen-ia64-devel] [PATCH] translate_domain_pte must handle ED bit
From:Tian, Kevin (kevi@intel.com)
Date:02/20/2006 06:54:18 AM
List:com.xensource.lists.xen-ia64-devel

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().

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