| commit | 8b8f9f87a2f3af1197b60c99651c00fdb7467353 | [log] [tgz] |
|---|---|---|
| author | James Ye <james.ye@data61.csiro.au> | Fri Jan 18 14:44:48 2019 +1100 |
| committer | James Ye <james.ye@data61.csiro.au> | Fri Jan 18 14:45:50 2019 +1100 |
| tree | b41f6da11639758f1c53f8521689ff55ff43ce86 | |
| parent | a60a14c226c944eb8d71959e23662892106b8aec [diff] |
libsel4vka: fix format string 32-bit compatability
diff --git a/libsel4vka/include/vka/object.h b/libsel4vka/include/vka/object.h index 5b06aa9..56c477d 100644 --- a/libsel4vka/include/vka/object.h +++ b/libsel4vka/include/vka/object.h
@@ -44,7 +44,7 @@ int error = -1; if (!(type < seL4_ObjectTypeCount)) { result->cptr = 0; - ZF_LOGE("Unknown object type: %lu", type); + ZF_LOGE("Unknown object type: %ld", (long) type); goto error; }