#ifndef DEF_STDIO_H
#define DEF_STDIO_H

#include <tce/syscall.h>

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

#endif