linux_msg
linux_msg(const struct thread *td, const char *fmt, ...)
void linux_msg(const struct thread *td, const char *fmt, ...)