diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-07-13 20:07:07 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-07-13 20:07:07 +0200 |
| commit | b2ad7d862388558556288877a65f2797528168f4 (patch) | |
| tree | 4d3080abf0cbcca7c058cba5cad2ed71e5d5e1e5 /kern/printf.h | |
| parent | cacd797c0c1825301f21aab18a7ce2c410d14535 (diff) | |
Switch to initialization operations
Diffstat (limited to 'kern/printf.h')
| -rw-r--r-- | kern/printf.h | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/kern/printf.h b/kern/printf.h index 0aed7200..8185c735 100644 --- a/kern/printf.h +++ b/kern/printf.h @@ -33,12 +33,18 @@ #include <stdarg.h> +#include <kern/init.h> + int printf(const char *format, ...) __attribute__((format(printf, 1, 2))); int vprintf(const char *format, va_list ap) __attribute__((format(printf, 1, 0))); -void printf_setup(void); +/* + * This init operation provides : + * - printf is usable + */ +INIT_OP_DECLARE(printf_setup); #endif /* _KERN_PRINTF_H */ |