diff --git a/src/intel/dev/intel_device_info.c b/src/intel/dev/intel_device_info.c
index 5114da725a6..b6f1a462d25 100644
--- a/src/intel/dev/intel_device_info.c
+++ b/src/intel/dev/intel_device_info.c
@@ -24,6 +24,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <stdarg.h>
+#include <inttypes.h>
 
 #include <sys/types.h>
 #include <sys/stat.h>
@@ -107,7 +108,7 @@ main(int argc, char *argv[])
       fprintf(stdout, "   max GS  threads: %u\n", devinfo.max_gs_threads);
       fprintf(stdout, "   max WM  threads: %u\n", devinfo.max_wm_threads);
       fprintf(stdout, "   max CS  threads: %u\n", devinfo.max_cs_threads);
-      fprintf(stdout, "   timestamp frequency: %lu\n", devinfo.timestamp_frequency);
+      fprintf(stdout, "   timestamp frequency: %" PRIu64 "\n", devinfo.timestamp_frequency);
    }
 
    return EXIT_SUCCESS;