diff --git a/src/nouveau/winsys/nouveau_push.c b/src/nouveau/winsys/nouveau_push.c
index 39cec0aa63d..8b03668d6d4 100644
--- a/src/nouveau/winsys/nouveau_push.c
+++ b/src/nouveau/winsys/nouveau_push.c
@@ -1,6 +1,7 @@
 #include "nouveau_push.h"
 
 #include <errno.h>
+#include <inttypes.h>
 #include <nouveau_drm.h>
 #include <sys/mman.h>
 #include <xf86drm.h>
@@ -115,7 +116,7 @@ nouveau_ws_push_dump(struct nouveau_ws_push *push, struct nouveau_ws_context *ct
       uint32_t value = 0;
       bool is_immd = false;
 
-      printf("[0x%08lx] HDR %x subch %i", cur - push->orig_map, hdr, subchan);
+      printf("[0x%08" PRIxPTR "] HDR %x subch %i", cur - push->orig_map, hdr, subchan);
       cur++;
 
       switch (type) {