Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- include/net/sctp/sctp.h
- net/sctp/outqueue.c, line 555
- net/sctp/sm_sideeffect.c, line 1690
- net/sctp/transport.c, line 385
Smatch caller information:
net/sctp/transport.c sctp_transport_pl_toobig() -> sctp_transport_reset_probe_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->pathmtu | 1188,1200,1208,1220,1228,1240,1248 |
| PARAM_VALUE | 0 | transport->pl.pmtu | 1200 |
| PARAM_VALUE | 0 | transport->pl.probe_count | 0 |
| PARAM_VALUE | 0 | transport->pl.probe_high | 0 |
| PARAM_VALUE | 0 | transport->pl.probe_size | 1200 |
| PARAM_VALUE | 0 | transport->pl.state | 1 |
| CAPPED_DATA | 0 | transport->pathmtu | 1 |
| DATA_SOURCE | 0 | transport | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sk->sk_lock.slock |
net/sctp/transport.c sctp_transport_pl_update() -> sctp_transport_reset_probe_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->af_specific->get_dst | 0,4096-ptr_max |
| PARAM_VALUE | 0 | transport->af_specific->sockaddr_len | 0,16,28 |
| PARAM_VALUE | 0 | transport->dst | 0,4096-ptr_max |
| PARAM_VALUE | 0 | transport->dst->obsolete | 0 |
| PARAM_VALUE | 0 | transport->dst->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->pathmtu | 0,512-u32max |
| PARAM_VALUE | 0 | transport->pl.pmtu | 1200 |
| PARAM_VALUE | 0 | transport->pl.probe_size | 1200 |
| PARAM_VALUE | 0 | transport->pl.state | 1 |
| DATA_SOURCE | 0 | transport | $0 |
| FUZZY_MAX | 0 | transport->pathmtu | 1500 |
| NOSPEC | 0 | transport->asoc->c.raw_addr_list_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | transport->asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | transport->asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | transport->asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | transport->asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | transport->asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | transport->asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | transport->asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | transport->asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | transport->asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | transport->asoc->default_hmac_id | 0-3 |
| USER_DATA | 0 | transport->asoc->force_delay | 0-1 |
| USER_DATA | 0 | transport->asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->peer.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->peer.port | 0-u16max |
| USER_DATA | 0 | transport->asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | transport->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | transport->asoc->strreset_outseq | 0-u32max[u] |
| USER_DATA | 0 | transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | transport->param_flags | 0-u32max[c] |
| USER_DATA | 0 | transport->pathmtu | 512-u32max[u] |
| HALF_LOCKED2 | sk |
net/sctp/socket.c sctp_transport_pl_reset() -> sctp_transport_reset_probe_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->param_flags | 8-u32max |
| PARAM_VALUE | 0 | transport->pl.pmtu | 1200 |
| PARAM_VALUE | 0 | transport->pl.probe_size | 1200 |
| PARAM_VALUE | 0 | transport->pl.state | 1 |
| PARAM_VALUE | 0 | transport->probe_interval | 1-u64max |
| PARAM_VALUE | 0 | transport->state | 2,u16max |
| DATA_SOURCE | 0 | transport | $0 |
| FUZZY_MAX | 0 | transport->state | u16max |
| BIT_INFO | 0 | transport->param_flags | 0x8,0xffffffff |
| BIT_INFO | 0 | transport->state | 0x2,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | transport->param_flags | 8-u32max[c] |
| USER_DATA | 0 | transport->pathmtu | 512-u32max[u] |
| LOCK2 | sk |
net/sctp/outqueue.c sctp_retransmit() -> sctp_transport_reset_probe_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->T3_rtx_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | transport->T3_rtx_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | transport->T3_rtx_timer.function | 0 |
| PARAM_VALUE | 0 | transport->asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->asoc->fast_recovery | 0-1 |
| PARAM_VALUE | 0 | transport->asoc->unack_data | 1-u16max |
| PARAM_VALUE | 0 | transport->partial_bytes_acked | 0 |
| PARAM_VALUE | 0 | transport->pl.state | 3 |
| CAPPED_DATA | 0 | transport | 1 |
| DATA_SOURCE | 0 | transport | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/sctp/associola.c sctp_transport_pl_reset() -> sctp_transport_reset_probe_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | transport | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->af_specific->get_dst | 0,4096-ptr_max |
| PARAM_VALUE | 0 | transport->af_specific->sockaddr_len | 0,16,28 |
| PARAM_VALUE | 0 | transport->asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | transport->param_flags | 8-u32max |
| PARAM_VALUE | 0 | transport->pl.pmtu | 1200 |
| PARAM_VALUE | 0 | transport->pl.probe_size | 1200 |
| PARAM_VALUE | 0 | transport->pl.state | 1 |
| PARAM_VALUE | 0 | transport->probe_interval | 1-u64max |
| PARAM_VALUE | 0 | transport->state | 2,u16max |
| BUF_SIZE | 0 | transport | (-1),944 |
| BUF_SIZE | 0 | transport | (-1),944 |
| CAPPED_DATA | 0 | transport | 1 |
| DATA_SOURCE | 0 | transport | $0 |
| BIT_INFO | 0 | transport->param_flags | 0x8,0xffffffff |
| BIT_INFO | 0 | transport->state | 0x2,0xffff |
| NOSPEC | 0 | transport->asoc->c.raw_addr_list_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | transport->asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | transport->asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | transport->asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | transport->asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | transport->asoc->c.peer_vtag | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | transport->asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | transport->asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | transport->asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | transport->asoc->force_delay | 0-1 |
| USER_DATA | 0 | transport->asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | transport->asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | transport->asoc->peer.port | 0-u16max |
| USER_DATA | 0 | transport->asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | transport->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | transport->asoc->strreset_outseq | 0-u32max[u] |
| USER_DATA | 0 | transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | transport->packet.destination_port | 0-u16max |
| USER_DATA | 0 | transport->packet.source_port | 0-u16max |
| USER_DATA | 0 | transport->packet.transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | transport->packet.transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | transport->packet.transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | transport->packet.transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | transport->packet.transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | transport->packet.transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | transport->packet.transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | transport->packet.transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | transport->packet.transport->ipaddr.v6.sin6_scope_id | 0-u32max |