update

[l4.git] / l4 / pkg / libsigma0 / lib / src / debug.c

diff --git a/l4/pkg/libsigma0/lib/src/debug.c b/l4/pkg/libsigma0/lib/src/debug.c
index 40321d8eadddce9182004334cb02139197c54111..ccb66be66762aa3531d5e1f88ecac8d4cbed225e 100644 (file)
--- a/l4/pkg/libsigma0/lib/src/debug.c
+++ b/l4/pkg/libsigma0/lib/src/debug.c
@@ -10,7 +10,7 @@
 #include <l4/sys/ipc.h>
 #include <l4/sigma0/sigma0.h>
 
-void
+L4_CV void
 l4sigma0_debug_dump(l4_cap_idx_t pager)
 {
   l4_msgtag_t tag = l4_msgtag(L4_PROTO_SIGMA0, 1, 0, 0);