Update

[l4.git] / kernel / fiasco / src / drivers / ia32 / io-ia32.cpp

diff --git a/kernel/fiasco/src/drivers/ia32/io-ia32.cpp b/kernel/fiasco/src/drivers/ia32/io-ia32.cpp
index f61a9b03b0eae80b7581e6a42bbf06db916d8def..cac264825497103bd5e29a86c9bde3a08794cabb 100644 (file)
--- a/kernel/fiasco/src/drivers/ia32/io-ia32.cpp
+++ b/kernel/fiasco/src/drivers/ia32/io-ia32.cpp
@@ -1,5 +1,10 @@
 IMPLEMENTATION[ia32]:
 
+EXTENSION class Io
+{
+public:
+  typedef unsigned short Port_addr;
+};
 
 /* This is a more reliable delay than a few short jmps. */
 IMPLEMENT inline