update

[l4.git] / 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 a5d1fa53c055d98ec932f6d8be22f48e655f9726..fca70173cd7c5499812ab60b623a3385db0aef8f 100644 (file)
--- 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];