utsname revision da2e3ebdc1edfbc5028edf1354e7dd2fa69a7968
8d43244aa3d322f7807a4b0488f1038dd2595dc1vboxsynclib getdomainname,gethostid,gethostname,sethostname,syscall,systeminfo,uname
771e550bb18d9cadd6ee1bb067d6c5d360720248vboxsyncmem utsname.base_rel,utsname.idnumber,utsname.m_type,utsname.nodeext sys/utsname.h
771e550bb18d9cadd6ee1bb067d6c5d360720248vboxsyncsys syscall,systeminfo,syssgi
771e550bb18d9cadd6ee1bb067d6c5d360720248vboxsync *) echo "#define _UNAME_os_DEFAULT \"$u\" /* default os name */" ;;