uprintf_locked
uprintf_locked("sorry, pid %d was killed: %s\n", p->p_pid, why);
void uprintf_locked(const char *, ...) __printflike(1, 2);