kprintf()

void kprintf (const char *fmt, ... )

Display output using the put_char() function you provide. It supports a very limited set of printf() style formats.