On 05/20/2011 09:40 AM, Richard Henderson wrote:
On 05/20/2011 07:31 AM, Anthony Liguori wrote:But is this a characteristic of devices or is this a characteristic of the chipset/CPU?Chipset.
So if the chipset only allows accesses that are 64-bit, then you'll want to have hierarchical dispatch filter non 64-bit accesses and raise an MCE appropriately.
So you don't need anything in MemoryRegion, you need code in the dispatch path.
Regards, Anthony Liguori
r~
