Searched refs:s_domok (Results 1 – 1 of 1) sorted by relevance
303 char *s_domok = "Domain %s is supported.\n"; local310 (void) printf(s_domok, domain);314 (void) printf(s_domok, domain);320 (void) printf(s_domok, domain);