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

#ifndef DEF_STDIO_H
#define DEF_STDIO_H

#include <tce/syscall.h>

void printk_int(int number);
void printk_hex(unsigned number);

#endif