linux_get_osname
linux_get_osname(td, osname);
linux_get_osname(td, osname);
linux_get_osname(req->td, osname);
void linux_get_osname(struct thread *td, char *dst);
linux_get_osname(td, osname);