Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


added testing
[palacios.git] / misc / test_vm / src / geekos / io.c
index 3132733..70b9f50 100644 (file)
@@ -1,7 +1,7 @@
 /*
  * x86 port IO routines
  * Copyright (c) 2001, David H. Hovemeyer <daveho@cs.umd.edu>
- * $Revision: 1.1 $
+ * $Revision: 1.2 $
  * 
  * This is free software.  You are permitted to use,
  * redistribute, and modify it as specified in the file "COPYING".
@@ -21,11 +21,14 @@ void Out_Byte(ushort_t port, uchar_t value)
     );
 }
 
+extern uchar_t InByteLL(ushort_t port);
+
 /*
  * Read a byte from an I/O port.
  */
 uchar_t In_Byte(ushort_t port)
 {
+  /*
     uchar_t value;
 
     __asm__ __volatile__ (
@@ -35,6 +38,9 @@ uchar_t In_Byte(ushort_t port)
     );
 
     return value;
+  */
+
+  return InByteLL(port);
 }
 
 /*