Linux has this convention that the lower 0x1000 bytes of the IO space should not be used. (cf PCIBIOS_MIN_IO).
Just allocate those bytes to prevent future allocation assigning it to devices. Signed-off-by: Julien Thierry <julien.thie...@arm.com> --- arm/pci.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/arm/pci.c b/arm/pci.c index 83238ca..559e0cf 100644 --- a/arm/pci.c +++ b/arm/pci.c @@ -37,6 +37,9 @@ void pci__arm_init(struct kvm *kvm) /* Make PCI port allocation start at a properly aligned address */ pci_get_io_space_block(align_pad); + + /* Convention, don't allocate first 0x1000 bytes of PCI IO */ + pci_get_io_space_block(0x1000); } void pci__generate_fdt_nodes(void *fdt) -- 1.9.1 _______________________________________________ kvmarm mailing list kvmarm@lists.cs.columbia.edu https://lists.cs.columbia.edu/mailman/listinfo/kvmarm