diff options
Diffstat (limited to 'firmware/lib/vboot_common_init.c')
-rw-r--r-- | firmware/lib/vboot_common_init.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/firmware/lib/vboot_common_init.c b/firmware/lib/vboot_common_init.c index 0e5e9f3e..2f3cf385 100644 --- a/firmware/lib/vboot_common_init.c +++ b/firmware/lib/vboot_common_init.c @@ -15,7 +15,7 @@ int VbSharedDataInit(VbSharedDataHeader *header, uint64_t size) { VBDEBUG(("VbSharedDataInit, %d bytes, header %d bytes\n", (int)size, - sizeof(VbSharedDataHeader))); + (int)sizeof(VbSharedDataHeader))); if (size < sizeof(VbSharedDataHeader)) { VBDEBUG(("Not enough data for header.\n")); |