inteltool: fixed 64 bit build

[coreboot.git] / util / inteltool / inteltool.c

diff --git a/util/inteltool/inteltool.c b/util/inteltool/inteltool.c
index 93169d398c85bad2db7e8e03c08f8d1c47603fae..6fab11864b8e20261ad0d5401c144a776d3f4ad0 100644 (file)
--- a/util/inteltool/inteltool.c
+++ b/util/inteltool/inteltool.c
@@ -95,7 +95,7 @@ void *map_physical(uint64_t phys_addr, size_t len)
                    fd_mem, (off_t) phys_addr);
 
        if (virt_addr == MAP_FAILED) {
-               printf("Error mapping physical memory 0x%08lx[0x%x]\n", phys_addr, len);
+               printf("Error mapping physical memory 0x%08lx[0x%zx]\n", phys_addr, len);
                return NULL;
        }