diff options
Diffstat (limited to 'firmware/include/vboot_api.h')
| -rw-r--r-- | firmware/include/vboot_api.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/firmware/include/vboot_api.h b/firmware/include/vboot_api.h index dc8be1c4..3e0e4ec8 100644 --- a/firmware/include/vboot_api.h +++ b/firmware/include/vboot_api.h @@ -372,7 +372,8 @@ void VbExError(const char *format, ...); /** * Output a debug message. Supports printf()-style formatting. */ -void VbExDebug(const char *format, ...); +void VbExDebug(const char *format, ...) + __attribute__ ((format (__printf__, 1, 2))); /*****************************************************************************/ /* Memory (from utility.h) */ |