Il 24/07/2013 11:51, Michael S. Tsirkin ha scritto: > > Current seabios uses a slightly different approach: the 64bit hole is > > present only in case it is actually used to map bars there, and seabios > > tries to fit everything into the 32bit hole first. > > Yes. But this doesn't work with device hotplug.
Are you preserving that behavior for older machine types? (Also, what happens if you do -global i440FX-pcihost.pci_hole64_size=0? Does that return a _CRS with only the 32-bit hole)? Paolo