00001 00028 #ifndef PRINTF_STDARG_H 00029 #define PRINTF_STDARG_H 00030 #include <stdarg.h> 00031 00032 int printk(const char *format, ...); 00033 int printk_va(char **out, const char *format, va_list args ); 00034 #endif