diff options
| author | Arthur Heymans <arthur@aheymans.xyz> | 2023-05-23 22:47:05 +0200 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2023-06-01 12:00:38 +0000 |
| commit | d436b1626ced20e79e8a007e6cc266dad2956920 (patch) | |
| tree | a3d770aad26e05808bfa5bf5fe1c5a73ad3179be /src/mainboard | |
| parent | 68b2b8fead011d9f081b4b49a3fa19673a8d144b (diff) | |
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>
Diffstat (limited to 'src/mainboard')
0 files changed, 0 insertions, 0 deletions