tree a3d770aad26e05808bfa5bf5fe1c5a73ad3179be
parent 68b2b8fead011d9f081b4b49a3fa19673a8d144b
author Arthur Heymans <arthur@aheymans.xyz> 1684874825 +0200
committer Felix Held <felix-coreboot@felixheld.de> 1685620838 +0000

device/resource_allocator_v4.c: Fix printing unsigned integers

Use the proper format specifier for unsigned integers.

Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Change-Id: I5e39377d62981229531027b3153d5b343a0a7538
Reviewed-on: https://review.coreboot.org/c/coreboot/+/75400
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>