commit bc943c9917ca02c21f162e76938b86a8325c64d9
author Kent McLeod <kent@kry10.com> Thu Nov 25 17:22:30 2021 +1100
committer Gerwin Klein <gerwin@doclsf.de> Sun Nov 28 15:01:43 2021 +1100
tree a761bd5b7913c106234cb9c16738daaf033019ad
parent e09ca438811bc6a4888d96f7abf56787eb74441d

sel4debug,caps: Use the write print modifer

Use the correct libsel4 print modifier for the seL4 type.

Signed-off-by: Kent McLeod <kent@kry10.com>

libsel4debug/src/caps.c

diff --git a/libsel4debug/src/caps.c b/libsel4debug/src/caps.c
index c29b304..84b2731 100644
--- a/libsel4debug/src/caps.c
+++ b/libsel4debug/src/caps.c
@@ -14,7 +14,7 @@
 {
 #ifdef CONFIG_DEBUG_BUILD
     int type = seL4_DebugCapIdentify(cap);
-    printf("Cap %d has type %d\n", cap, type);
+    printf("Cap %"SEL4_PRIu_word" has type %d\n", cap, type);
 #else
     printf("DEBUG_BUILD not set, can't get type of cap %d", cap);
 #endif