IO port ends at 64K - 1. not 64K.
Signed-off-by: Isaku Yamahata yamahata@valinux.co.jp --- src/pciinit.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/pciinit.c b/src/pciinit.c index 795672b..ee2e72d 100644 --- a/src/pciinit.c +++ b/src/pciinit.c @@ -402,7 +402,7 @@ pci_setup(void)
dprintf(3, "pci setup\n");
- pci_region_init(&pci_bios_io_region, 0xc000, 64 * 1024); + pci_region_init(&pci_bios_io_region, 0xc000, 64 * 1024 - 1); pci_region_init(&pci_bios_mem_region, BUILD_PCIMEM_START, BUILD_PCIMEM_END - 1); pci_region_init(&pci_bios_prefmem_region,