On 05/20/2011 05:46 PM, Anthony Liguori wrote:
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.

MemoryRegion *is* the dispatch path. Only done declaratively so we can flatten it whenever it changes.

--
I have a truly marvellous patch that fixes the bug which this
signature is too narrow to contain.


Reply via email to