update

[l4.git] / kernel / fiasco / src / drivers / arm / mmu-arm.cpp

diff --git a/kernel/fiasco/src/drivers/arm/mmu-arm.cpp b/kernel/fiasco/src/drivers/arm/mmu-arm.cpp
index 6524b09d0a24ed8ad7333225302417a03710ac52..a36fec11fa5c7b6c597d0fe399a32b00e895f7ae 100644 (file)
--- a/kernel/fiasco/src/drivers/arm/mmu-arm.cpp
+++ b/kernel/fiasco/src/drivers/arm/mmu-arm.cpp
@@ -168,7 +168,7 @@ FIASCO_NOINLINE void Mmu<Flush_area, Ram>::inv_dcache(void const *start, void co
 }
 
 //-----------------------------------------------------------------------------
-IMPLEMENTATION [arm && (mpcore || arm1176 || armca8 || armca9)]:
+IMPLEMENTATION [arm && (mpcore || arm1136 || arm1176 || armca8 || armca9)]:
 
 IMPLEMENT inline
 template< unsigned long Flush_area, bool Ram >
@@ -245,7 +245,7 @@ void Mmu<Flush_area, Ram>::inv_dcache(void const *start, void const *end)
 }
 
 //-----------------------------------------------------------------------------
-IMPLEMENTATION [arm && (mpcore || arm1176)]:
+IMPLEMENTATION [arm && (mpcore || arm1136 || arm1176)]:
 
 IMPLEMENT
 template< unsigned long Flush_area, bool Ram >