diff options
Diffstat (limited to 'firmware/lib/vboot_kernel.c')
| -rw-r--r-- | firmware/lib/vboot_kernel.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/firmware/lib/vboot_kernel.c b/firmware/lib/vboot_kernel.c index b3c06b35..64c5cc58 100644 --- a/firmware/lib/vboot_kernel.c +++ b/firmware/lib/vboot_kernel.c @@ -385,7 +385,7 @@ VbError_t LoadKernel(LoadKernelParams* params) { lowest_version = combined_version; else { VBDEBUG(("Key block valid: %d\n", key_block_valid)); - VBDEBUG(("Combined version: %" PRIu32 "\n", combined_version)); + VBDEBUG(("Combined version: %u\n", (unsigned) combined_version)); } /* If we already have a good kernel, no need to read another |