Introduce printaddr_comment

* defs.h (printaddr_comment): New static inline wrapper around
tprintf_comment.

diff --git a/defs.h b/defs.h
index 3bfe1e0562d6ee8763948b0f7f207f5636d4f2d9..1599caa8dce331cee7f1142441fd6e52aaf8f16a 100644 (file)
--- a/defs.h
+++ b/defs.h
@@ -1057,6 +1057,12 @@ extern void tprints(const char *str);
 extern void tprintf_comment(const char *fmt, ...) ATTRIBUTE_FORMAT((printf, 1, 2));
 extern void tprints_comment(const char *str);
 
+static inline void
+printaddr_comment(const kernel_ulong_t addr)
+{
+       tprintf_comment("%#llx", (unsigned long long) addr);
+}
+
 static inline void
 print_mac_addr(const char *prefix, const uint8_t addr[], size_t size)
 {