kprintf()

Display output using the put_char() function you provide (x86 only).

Synopsis:

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

Reserved for internal use. This function supports a very limited set of printf() style formats.