fdt_loader_cmd.c: fix compilation with DEBUG

It was broken on 64-bit platforms.
This commit is contained in:
Mitchell Horne 2024-11-12 11:39:28 -04:00
parent c808bee35b
commit 13e520658e

View file

@ -990,7 +990,7 @@ int
fdt_copy(vm_offset_t va)
{
int err;
debugf("fdt_copy va 0x%08x\n", va);
debugf("fdt_copy va 0x%08jx\n", (uintmax_t)va);
if (fdtp == NULL) {
err = fdt_setup_fdtp();
if (err) {