diff options
Diffstat (limited to 'firmware/include/vboot_api.h')
| -rw-r--r-- | firmware/include/vboot_api.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/firmware/include/vboot_api.h b/firmware/include/vboot_api.h index 70eaad17..6142cfa7 100644 --- a/firmware/include/vboot_api.h +++ b/firmware/include/vboot_api.h @@ -317,12 +317,6 @@ VbError_t VbUnlockDevice(void); */ void VbExError(const char *format, ...); -/** - * Output a debug message. Supports printf()-style formatting. - */ -void VbExDebug(const char *format, ...) - __attribute__ ((format (__printf__, 1, 2))); - /*****************************************************************************/ /* Timer and delay (first two from utility.h) */ |