On 07/24/2011 11:56 AM, Anthony Liguori wrote: > What is returned by totally unregistered MMIO is defined by the > chipset. What's returned by an empty space in the MMIO space of a > device is device specific.
It's one and the same here, it's the chipset I'm implementing. > What does your device return if there's an access at 32? A machine check. r~