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

Reply via email to