Pass the right pointers to sys_inb

diff --git a/drivers/libpci/pci.c b/drivers/libpci/pci.c
index e3d2380d3f73f7ab8af19e8f54c7e479fd820f90..b242db21859626d6b96373d9aa12af7778b7b54b 100644 (file)
--- a/drivers/libpci/pci.c
+++ b/drivers/libpci/pci.c
@@ -109,7 +109,7 @@ FORWARD _PROTOTYPE( void pcii_wsts, (int busind, U16_t value)               );
  *                     helper functions for I/O                             *
  *===========================================================================*/
 PUBLIC unsigned pci_inb(U16_t port) {
-       U8_t value;
+       u32_t value;
        int s;
        if ((s=sys_inb(port, &value)) !=OK)
                printf("PCI: warning, sys_inb failed: %d\n", s);
@@ -786,7 +786,7 @@ PRIVATE int do_piix(devind)
 int devind;
 {
        int i, s, dev, func, irqrc, irq;
-       u16_t elcr1, elcr2, elcr;
+       u32_t elcr1, elcr2, elcr;
 
 #if DEBUG
        printf("in piix\n");