update

[l4.git] / kernel / fiasco / src / kern / ia32 / 64 / tb_entry-ia32-64.cpp

diff --git a/kernel/fiasco/src/kern/ia32/64/tb_entry-ia32-64.cpp b/kernel/fiasco/src/kern/ia32/64/tb_entry-ia32-64.cpp
index 3131e4201373a03a9c5adf35f52bb8c10fde841c..1dffccedce2824cf137782d8813d58ed8da80c11 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/64/tb_entry-ia32-64.cpp
+++ b/kernel/fiasco/src/kern/ia32/64/tb_entry-ia32-64.cpp
@@ -18,7 +18,7 @@ private:
   Mword        _rbp, _cr2, _rax, _rflags, _rsp;
   Unsigned16   _cs,  _ds;
 public:
-  unsigned print(int max, char *buf) const;
+  void print(String_buffer *buf) const;
 } __attribute__((packed));
 
 IMPLEMENTATION [amd64]: