diff options
| -rw-r--r-- | firmware/include/vboot_api.h | 6 | ||||
| -rw-r--r-- | firmware/stub/vboot_api_stub_init.c | 9 |
2 files changed, 0 insertions, 15 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) */ diff --git a/firmware/stub/vboot_api_stub_init.c b/firmware/stub/vboot_api_stub_init.c index aef9e8fb..23ae9f78 100644 --- a/firmware/stub/vboot_api_stub_init.c +++ b/firmware/stub/vboot_api_stub_init.c @@ -43,15 +43,6 @@ void VbExError(const char *format, ...) exit(1); } -void VbExDebug(const char *format, ...) -{ - va_list ap; - va_start(ap, format); - fprintf(stderr, "DEBUG: "); - vfprintf(stderr, fixfmt(format), ap); - va_end(ap); -} - uint64_t VbExGetTimer(void) { struct timeval tv; |