kernel: remove 0x prefix for unsigned format specfiers
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 19 Aug 2015 11:27:03 +0000 (13:27 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 19 Aug 2015 11:27:03 +0000 (13:27 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel/cap_delete.c

index fd5c11a..c41678d 100644 (file)
@@ -322,7 +322,7 @@ static void caps_mark_revoke_copy(struct cte *cte)
     if (err_is_fail(err)) {
         // this should not happen as there is a copy of the cap
         panic("error while marking/deleting cap copy for revoke:"
-              " 0x%"PRIuERRV"\n", err);
+              " %"PRIuERRV"\n", err);
     }
 }
 
@@ -369,7 +369,7 @@ static void caps_mark_revoke_generic(struct cte *cte)
     else if (err_is_fail(err)) {
         // some serious mojo went down in the cleanup voodoo
         panic("error while marking/deleting descendant cap for revoke:"
-              " 0x%"PRIuERRV"\n", err);
+              " %"PRIuERRV"\n", err);
     }
 }