#ifndef STDIO_H #define STDIO_H #include int kprintf(const char *restrict format, ...); int kvprintf(const char *fmt, va_list ap); // int fprintf(FILE *restrict stream, const char *restrict format, ...); // int dprintf(int fd, const char *restrict format, ...); // int sprintf(char *restrict str, const char *restrict format, ...); // int snprintf(char str[restrict.size], size_t size, const char *restrict format, ...); // int vprintf(const char *restrict format, va_list ap); // int vfprintf(FILE *restrict stream, const char *restrict format, va_list ap); // int vdprintf(int fd, const char *restrict format, va_list ap); // int vsprintf(char *restrict str, const char *restrict format, va_list ap); // int vsnprintf(char str[restrict.size], size_t size, const char *restrict format, va_list ap); #endif // STDIO_H