Searched refs:saved_id (Results 1 – 1 of 1) sorted by relevance
4054 timeout_id_t saved_id; in ecpp_untimeout_unblock() local4059 saved_id = *id; in ecpp_untimeout_unblock()4062 (void) untimeout(saved_id); in ecpp_untimeout_unblock()