> > 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...
May be. It's old kernel, v3.19, but still it works as it works. We could, of course, have some machine option, but personally i currently care only about 64 bits, so for simplicity let's leave alone 32 bits for now. When more important things are settled down, adding an option will not be a problem. Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia
