tipc_link_rcv_nxt
u16 tipc_link_rcv_nxt(struct tipc_link *l);
n->sync_point = tipc_link_rcv_nxt(tnl) + (U16_MAX / 2 - 1);
rcv_nxt = tipc_link_rcv_nxt(l);
dlv_nxt = tipc_link_rcv_nxt(pl) - inputq_len;
n->sync_point = tipc_link_rcv_nxt(tnl) + (U16_MAX / 2 - 1);