Searched refs:hc_leeway (Results 1 – 1 of 1) sorted by relevance
284 uint64_t hc_leeway, hc_deadline; in exclaves_sensor_healthcheck() local290 healthcheck_deadline(&hc_deadline, &hc_leeway); in exclaves_sensor_healthcheck()294 NULL, hc_deadline, hc_leeway, THREAD_CALL_DELAY_LEEWAY); in exclaves_sensor_healthcheck()