/* * NOTE: the kprintf mutex must be held when these functions are called! */ /* * Guts of kernel printf. Note, we already expect to be in a mutex! */