1#ifndef _KERNEL_LIBKERN_PRINTF_H
2#define _KERNEL_LIBKERN_PRINTF_H
3
4#include <libkern/types.h>
5
6typedef int (*printf_putch_callback)(char ch, char* buf_base, size_t* written, void* callback_params);
7
8int vsnprintf(char* s, size_t n, const char* format, va_list arg);
9int vsprintf(char* s, const char* format, va_list arg);
10int snprintf(char* s, size_t n, const char* format, ...);
11int sprintf(char* s, const char* format, ...);
12
13int printf_engine(char* buf, const char* format, printf_putch_callback callback, void* callback_params, va_list arg);
14
15#endif // _KERNEL_LIBKERN_PRINTF_H