efivar, efisecdb: use PRIu64 for well-known-guids count

The debug() prints of efi_n_well_known_guids, which is uint64_t, used
%lu.  On 32-bit unsigned long is 32-bit, so this mismatches the
argument.

Use the PRIu64 macro from inttypes.h, consistent with other 64-bit
prints elsewhere in the codebase (dp-hw.c, dp-media.c, etc.).

Author: siraben

src/efisecdb.c

@@ -10,6 +10,7 @@
 #include <errno.h>
 #include <fcntl.h>
 #include <getopt.h>
+#include <inttypes.h>
 #include <stdarg.h>
 #include <stdint.h>
 #include <stdlib.h>
@@ -244,7 +245,7 @@ list_guids(void)
 	const uint64_t n = efi_n_well_known_guids;
 	unsigned int i;
 
-	debug("&guid[0]:%p n:%lu", &guid[0], n);
+	debug("&guid[0]:%p n:%"PRIu64, &guid[0], n);
 	for (i = 0; i < n; i++) {
 		printf("{"GUID_FORMAT"}\t",
 		       GUID_FORMAT_ARGS(&guid[i].guid));

src/efivar.c

@@ -10,6 +10,7 @@
 #include <err.h>
 #include <fcntl.h>
 #include <getopt.h>
+#include <inttypes.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <sys/mman.h>
@@ -573,7 +574,7 @@ int main(int argc, char *argv[])
 			const uint64_t n = efi_n_well_known_guids;
 			size_t i;
 
-			debug("&guid[0]:%p n:%lu end:%p", &guid[0], n, &guid[n]);
+			debug("&guid[0]:%p n:%"PRIu64" end:%p", &guid[0], n, &guid[n]);
 			for (i = 0; i < n; i++) {
 				printf("{"GUID_FORMAT"}\t",
 				       GUID_FORMAT_ARGS(&guid[i].guid));