Searched refs:s_domok (Results 1 – 1 of 1) sorted by relevance
301 char *s_domok = "Domain %s is supported.\n"; local308 (void) printf(s_domok, domain);312 (void) printf(s_domok, domain);318 (void) printf(s_domok, domain);