Searched refs:goodtime (Results 1 – 1 of 1) sorted by relevance
803 static time_t goodtime, deadtime; in pingnfs() local806 if (goodtime > time_now && strcmp(hostname, goodhost) == 0) in pingnfs()831 goodtime = time_now + cache_time; in pingnfs()