X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/33a35848c727f088922a7d6fd7400c7db0c20814..bc7a63ab1d89d95508f55f44f23c2adda7a60037:/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 3131e4201..1dffccedc 100644
--- 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]: