My Kernel v0.1.0
printk.h
1#ifndef KERNEL_PRINTK_H
2#define KERNEL_PRINTK_H
3
4#include <utils/compiler.h>
5
6#include <stdarg.h>
7
8int printk(const char *restrict format, ...) FORMAT(printf, 1, 2);
9int vprintk(const char *restrict format, va_list parameters);
10
11#endif /* KERNEL_PRINTK_H */