diff options
Diffstat (limited to 'src/include/kernel/console.H')
-rw-r--r-- | src/include/kernel/console.H | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/include/kernel/console.H b/src/include/kernel/console.H index e12f66a62..964882a66 100644 --- a/src/include/kernel/console.H +++ b/src/include/kernel/console.H @@ -3,8 +3,9 @@ #include <stdint.h> #include <string.h> +#include <builtins.h> -void printk(const char*, ...) __attribute__((format (printf, 1, 2))); +void printk(const char*, ...) FORMAT_PRINTF; class Console { |