#ifndef _KPRINTF_H
#define _KPRINTF_H

int puts(const char *); 
void printf_init(void);
void printf(const char *, ...);

#endif /* _KPRINTF_H */