src/user/lib/include/stdio.h


1
2
3
4
5
6
7
8
9

#ifndef DEF_STDIO_H
#define DEF_STDIO_H

#include <tce/syscall.h>

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

#endif