Lines Matching defs:user_failure_detection_time
33 int user_failure_detection_time; /* user specified failure detection */
1941 user_failure_detection_time =
1944 if (user_failure_detection_time <= 0) {
1945 user_failure_detection_time = FAILURE_DETECTION_TIME;
1948 user_failure_detection_time);
1950 } else if (user_failure_detection_time <
1952 user_failure_detection_time =
1956 user_failure_detection_time);
1961 user_failure_detection_time = FAILURE_DETECTION_TIME;
1977 user_probe_interval = user_failure_detection_time /