]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/ppc32/continuation-ppc32.cpp
Update
[l4.git] / kernel / fiasco / src / kern / ppc32 / continuation-ppc32.cpp
index abfe720bfb8c80cb767b1e884f118870eb1ac8d5..599486615b2a559002ef71adeb0804791859efca 100644 (file)
@@ -24,7 +24,7 @@ public:
     Mword pc;
   };
 
-  bool valid() const
+  bool valid(void const *) const
   { return _ip != ~0UL; }
 
   Address ip() const { return _ip; }