Update

[l4.git] / kernel / fiasco / src / kern / ppc32 / mem_unit-ppc32.cpp

diff --git a/kernel/fiasco/src/kern/ppc32/mem_unit-ppc32.cpp b/kernel/fiasco/src/kern/ppc32/mem_unit-ppc32.cpp
index e4e622fd850a161801139f64caadebc7e5451204..6b0ed32c4870e17bc3fd9883d582834152b0204d 100644 (file)
--- a/kernel/fiasco/src/kern/ppc32/mem_unit-ppc32.cpp
+++ b/kernel/fiasco/src/kern/ppc32/mem_unit-ppc32.cpp
@@ -6,6 +6,14 @@ class Mem_unit
 {
 };
 
+//------------------------------------------------------------------------------
+IMPLEMENTATION[ppc32]:
+
+PUBLIC static inline ALWAYS_INLINE
+void
+Mem_unit::make_coherent_to_pou(void const *)
+{}
+
 //------------------------------------------------------------------------------
 IMPLEMENTATION[ppc32 && !mp]: