Searched refs:resched_timer (Results 1 – 1 of 1) sorted by relevance
76 int resched_timer = 0; in mptcp_timer_demux() local104 resched_timer = 1; in mptcp_timer_demux()117 resched_timer = 1; in mptcp_timer_demux()127 return resched_timer; in mptcp_timer_demux()135 uint32_t resched_timer = 0; in mptcp_timer() local153 resched_timer = 1; in mptcp_timer()158 return resched_timer; in mptcp_timer()