path: root/src/user/lib/include/stdio.h

#ifndef DEF_STDIO_H
#define DEF_STDIO_H

#include <stdarg.h>

extern FILE term;

void print(char *s);
void printf(char *s, ...);
char *readln();

void fprint(FILE f, char *s);
void fprint_int(FILE f, int number);
void fprint_hex(FILE f, unsigned number);
void fprintf(FILE f, char *s, ...);

void vsfprintf(FILE f, char *s, va_list arg);

char* freadln(FILE f);

#endif