#ifndef DEF_STDIO_H
#define DEF_STDIO_H

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

#endif