update

[l4.git] / l4 / pkg / l4sys / include / ARCH-amd64 / L4API-l4f / ktrace.h

diff --git a/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/ktrace.h b/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/ktrace.h
index 5b8fc31d4c7d1766b3cea821f9aea1c34bea2e16..8d4a0922d36e2adb84aa9dc7dd124a3d58e356c1 100644 (file)
--- a/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/ktrace.h
+++ b/l4/pkg/l4sys/include/ARCH-amd64/L4API-l4f/ktrace.h
@@ -138,7 +138,7 @@ fiasco_tbuf_log(const char *text);
  * \return Pointer to tracebuffer 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 tracebuffer entry with binary data.
@@ -208,12 +208,12 @@ 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)
 {
   l4_umword_t offset;
   asm volatile("int $3; cmpb $29, %%al"
              : "=a" (offset)
-             : "a" (4), "d" (text), "c" (v1), "S" (v2), "D" (v3));
+             : "a" (4), "d" (text), "c" (v1), "S" (v2), "D" (v3) : "cc");
   return offset;
 }