Lines Matching refs:os
42 uint32_t os;46 const char *os;47 switch (tag->os)50 os = "Linux";54 os = "GNU";58 os = "Solaris";62 os = "FreeBSD";66 os = "???";70 printf (gettext (" OS: %s, ABI: "), os);
