update

[l4.git] / l4 / pkg / l4sys / include / ARCH-arm / ktrace.h

diff --git a/l4/pkg/l4sys/include/ARCH-arm/ktrace.h b/l4/pkg/l4sys/include/ARCH-arm/ktrace.h
index 724a5eb12b6be9bb2ae7a3823119446289aee6a7..4b49570d2f454cf1f6103ad19d5a0df848dc4edd 100644 (file)
--- a/l4/pkg/l4sys/include/ARCH-arm/ktrace.h
+++ b/l4/pkg/l4sys/include/ARCH-arm/ktrace.h
@@ -131,7 +131,7 @@ fiasco_tbuf_log(const char *text);
  * \return Pointer to trace buffer entry
  */
 L4_INLINE l4_umword_t
-fiasco_tbuf_log_3val(const char *text, unsigned v1, unsigned v2, unsigned v3);
+fiasco_tbuf_log_3val(const char *text, l4_umword_t v1, l4_umword_t v2, l4_umword_t v3);
 
 /**
  * Create new trace buffer entry with binary data.
@@ -188,7 +188,7 @@ fiasco_tbuf_log(const char *text)
 }
 
 L4_INLINE l4_umword_t
-fiasco_tbuf_log_3val(const char *text, unsigned v1, unsigned v2, unsigned v3)
+fiasco_tbuf_log_3val(const char *text, l4_umword_t v1, l4_umword_t v2, l4_umword_t v3)
 {
   return __KDEBUG_ARM_PARAM_5(29, 4, text, v1, v2, v3);
 }