Update

[l4.git] / kernel / fiasco / src / kern / arm / continuation-arm.cpp

diff --git a/kernel/fiasco/src/kern/arm/continuation-arm.cpp b/kernel/fiasco/src/kern/arm/continuation-arm.cpp
index 55414e6fe7225d5e5cfc11753fb9a78dd04c0464..6b4d76bb42a6a9b60ff1e49a465e28f5c0ff3c75 100644 (file)
--- a/kernel/fiasco/src/kern/arm/continuation-arm.cpp
+++ b/kernel/fiasco/src/kern/arm/continuation-arm.cpp
@@ -18,7 +18,7 @@ public:
 
   typedef Return_frame User_return_frame;
 
-  bool valid() const
+  bool valid(void const *) const
   { return _ip != ~0UL; }
 
   Address ip() const { return _ip; }