X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/846ee6a4a27b3178b23b551e333750133da39d27..7d8b3f45f98773ba02057b81b90c31a12320c09e:/l4/pkg/l4sys/include/ARCH-x86/ktrace.h

diff --git a/l4/pkg/l4sys/include/ARCH-x86/ktrace.h b/l4/pkg/l4sys/include/ARCH-x86/ktrace.h
index a5d1fa53c..fca70173c 100644
--- a/l4/pkg/l4sys/include/ARCH-x86/ktrace.h
+++ b/l4/pkg/l4sys/include/ARCH-x86/ktrace.h
@@ -56,6 +56,7 @@ typedef struct
  * Trace-buffer status.
  * \ingroup api_calls_fiasco
  */
+// keep in sync with fiasco/src/jabi/jdb_ktrace.cpp
 typedef struct
 {
   l4_tracebuffer_status_window_t window[2];