*** server/drivers/port.h.orig	Tue Feb 25 20:34:39 2003
--- server/drivers/port.h	Tue Feb 25 20:34:56 2003
*************** static inline int port_in (unsigned shor
*** 141,147 ****
          
  // Write a byte 'val' to port
  static inline void port_out (unsigned short int port, unsigned char val) {
!         outb(val,port);
  }
          
  // Get access to a specific port
--- 141,147 ----
          
  // Write a byte 'val' to port
  static inline void port_out (unsigned short int port, unsigned char val) {
!         outb(port,val);
  }
          
  // Get access to a specific port