void kprintf (const char *fmt, ... )
Display output using the put_char() function you provide. It supports a very limited set of printf() style formats.