1 files changed, 3 insertions, 2 deletions
diff --git a/src/generic/misc.h b/src/generic/misc.h
index 9847e9a9..960eb6a2 100644
--- a/src/generic/misc.h
+++ b/src/generic/misc.h
@@ -1,11 +1,12 @@
 #ifndef __GENERIC_MISC_H
 #define __GENERIC_MISC_H
 
+#include <stdarg.h> // va_list
 #include <stddef.h> // size_t
 #include <stdint.h> // uint8_t
 
-char *console_get_output(uint8_t len);
-void console_push_output(uint8_t len);
+struct command_encoder;
+void console_sendf(const struct command_encoder *ce, va_list args);
 
 uint32_t timer_from_us(uint32_t us);
 uint8_t timer_is_before(uint32_t time1, uint32_t time2);