fix apps.plugin values on 32bit machines

diff --git a/src/inlined.h b/src/inlined.h
index e9d6e87945d74c641d64866af0eba8f9716ea302..01492b04451d23539f578d7cb02dfa94e87dcfe3 100644 (file)
--- a/src/inlined.h
+++ b/src/inlined.h
@@ -10,7 +10,7 @@ typedef uint32_t kernel_uint_t;
 #else
 typedef uint64_t kernel_uint_t;
 #define str2kernel_unit_t(string) str2uint64_t(string)
-#define KERNEL_UINT_FORMAT "%lu"
+#define KERNEL_UINT_FORMAT "%" PRIu64
 #endif
 
 #define str2pid_t(string) str2uint32_t(string)