#ifndef _KPRINTF_H
#define _KPRINTF_H

void printf_init(void);

#endif /* _KPRINTF_H */