Searched refs:deadhost (Results 1 – 1 of 1) sorted by relevance
802 static char deadhost[MAXHOSTNAMELEN+1]; in pingnfs() local808 if (deadtime > time_now && strcmp(hostname, deadhost) == 0) in pingnfs()833 (void) strcpy(deadhost, hostname); in pingnfs()