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