Searched defs:resched_timer (Results 1 – 1 of 1) sorted by relevance
76 int resched_timer = 0; in mptcp_timer_demux() local135 uint32_t resched_timer = 0; in mptcp_timer() local