update

[l4.git] / kernel / fiasco / src / kern / io_space.cpp

diff --git a/kernel/fiasco/src/kern/io_space.cpp b/kernel/fiasco/src/kern/io_space.cpp
index 87690f9416a10c24fe105125faf5c0159d77500a..3d735d78e3e5ea93174601e9ceb9d522f2edab4a 100644 (file)
--- a/kernel/fiasco/src/kern/io_space.cpp
+++ b/kernel/fiasco/src/kern/io_space.cpp
@@ -104,6 +104,14 @@ Generic_io_space<SPACE>::xlate_flush(unsigned char rights)
     return 0;
 }
 
+PUBLIC template< typename SPACE >
+static inline
+Mword
+Generic_io_space<SPACE>::is_full_flush(unsigned char rights)
+{
+  return rights;
+}
+
 PUBLIC template< typename SPACE >
 static inline
 Mword
@@ -460,13 +468,6 @@ Generic_io_space<SPACE>::get_port_bit(Address const port_number) const
 }
 
 
-PRIVATE template< typename SPACE >
-inline
-Pt_entry *Generic_io_space<SPACE>::bitmap_pde_lookup(Address v)
-{
-  return (Pt_entry*)(mem_space()->dir()->walk(v/*PTV >> 12*/, Pdir::Super_level).e);
-}
-
 PUBLIC template< typename SPACE >
 inline static
 Page_number