kern/include/stdio.h

#ifndef ROS_INC_STDIO_H
#define ROS_INC_STDIO_H

#include <ros/common.h>
#include <stdarg.h>
#include <kdebug.h>

#ifndef NULL
#define NULL	((void *) 0)
#endif /* !NULL */

//#define DEBUG
#ifdef DEBUG
#define printd(args...) cprintf(args)
#else
#define printd(args...) {}
#endif

#define printk(args...) cprintf(args)
#define I_AM_HERE printk("Core %d is in %s() at %s:%d\n", core_id(), \
                         __FUNCTION__, __FILE__, __LINE__);

// lib/stdio.c
void	cputchar(int c);
void	cputbuf(const char*COUNT(len) buf, int len);
int	getchar(void);
int	iscons(int fd);

// lib/printfmt.c
#ifdef __DEPUTY__
void	printfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, ...);
void	vprintfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, va_list);
#else
void	printfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, ...);
void	vprintfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, va_list);
#endif

// lib/printf.c
int	( cprintf)(const char * NTS fmt, ...);
int	vcprintf(const char * NTS fmt, va_list);

// lib/sprintf.c
int	snprintf(char *COUNT(size) str, int size, const char *NTS fmt, ...);
char *	seprintf(char *COUNT(size) str, char *end, const char *NTS fmt, ...);
int	vsnprintf(char *COUNT(size) str, int size, const char *NTS fmt, va_list);

// lib/fprintf.c
int	printf(const char *NTS fmt, ...);
int	fprintf(int fd, const char *NTS fmt, ...);
int	vfprintf(int fd, const char *NTS fmt, va_list);

// lib/readline.c
int readline(char *buf, size_t buf_l, const char *prompt, ...);

#endif /* !ROS_INC_STDIO_H */