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
