On 29 July 2015 at 09:58, Pavel Fedin <p.fe...@samsung.com> wrote: > So, can we leave fixed layout for now? I am currently reworking the patch > because i discovered problems with 32-bit guests. They simply truncate > high word and end up in attempt to put PCI at 0x00000000 - 0xFFFFFFFF, fail, > and do not work of course. So, my next version will have high MMIO > only for 64-bit guests.
That sounds like a guest bug to me. If the device tree says that addresses are two-cells wide then the code reading it ought to read both cells, not just ignore the top 32 bits... thanks -- PMM