Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/sctp/transport.c sctp_transport_pmtu() -> (struct sctp_af)->get_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| PARAM_VALUE | 0 | t->af_specific | 4096-ptr_max |
| PARAM_VALUE | 0 | t->af_specific->get_dst | 0,4096-ptr_max |
| PARAM_VALUE | 0 | t->af_specific->sockaddr_len | 0,16,28 |
| PARAM_VALUE | 0 | t->dst | 0 |
| PARAM_VALUE | 0 | t->dst_pending_confirm | 0 |
| PARAM_VALUE | 1 | saddr | 4096-ptr_max |
| PARAM_VALUE | 2 | fl | 4096-ptr_max |
| BUF_SIZE | 0 | t | (-1),944 |
| BUF_SIZE | 0 | t | (-1),944 |
| DATA_SOURCE | 0 | t | $0 |
| DATA_SOURCE | 3 | sk | $1 |
| CONTAINER | 0 | -24-168+0 | $(-1) |
| CONTAINER | 1 | -24-168+232 | $(-1) |
| CONTAINER | 2 | -24-168+48 | $(-1) |
| NOSPEC | 0 | t->asoc->c.raw_addr_list_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | t->asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | t->asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | t->asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | t->asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | t->asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | t->asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | t->asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | t->asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | t->asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | t->asoc->force_delay | 0-1 |
| USER_DATA | 0 | t->asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | t->asoc->peer.port | 0-u16max |
| USER_DATA | 0 | t->asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | t->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | t->asoc->strreset_outseq | 0-u32max[u] |
| USER_DATA | 0 | t->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | t->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | t->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | t->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | t->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | t->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | t->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | t->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | t->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | t->param_flags | 0-u32max[c] |
| USER_DATA | 0 | t->pathmtu | 512-u32max[u] |
| HALF_LOCKED2 | sk |
net/sctp/transport.c sctp_transport_route() -> (struct sctp_af)->get_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| PARAM_VALUE | 0 | t->af_specific | 4096-ptr_max |
| PARAM_VALUE | 0 | t->af_specific->get_dst | 0,4096-ptr_max |
| PARAM_VALUE | 0 | t->af_specific->sockaddr_len | 0,16,28 |
| PARAM_VALUE | 0 | t->dst | 0 |
| PARAM_VALUE | 0 | t->dst_pending_confirm | 0 |
| PARAM_VALUE | 1 | saddr | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fl | 4096-ptr_max |
| BUF_SIZE | 0 | t | (-1),944 |
| BUF_SIZE | 0 | t | (-1),944 |
| DATA_SOURCE | 0 | t | $0 |
| DATA_SOURCE | 1 | saddr | $1 |
| CONTAINER | 0 | -24-168+0 | $(-1) |
| CONTAINER | 2 | -24-168+48 | $(-1) |
| NOSPEC | 0 | t->asoc->c.raw_addr_list_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | t->asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | t->asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | t->asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | t->asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | t->asoc->c.peer_vtag | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | t->asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | t->asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | t->asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | t->asoc->force_delay | 0-1 |
| USER_DATA | 0 | t->asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | t->asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | t->asoc->peer.port | 0-u16max |
| USER_DATA | 0 | t->asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | t->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | t->asoc->strreset_outseq | 0-u32max[u] |
| USER_DATA | 0 | t->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | t->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | t->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | t->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | t->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | t->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | t->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | t->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | t->ipaddr.v6.sin6_scope_id | 0-u32max |
net/sctp/transport.c sctp_transport_update_pmtu() -> (struct sctp_af)->get_dst()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | t | 4096-ptr_max |
| PARAM_VALUE | 0 | t->af_specific | 4096-ptr_max |
| PARAM_VALUE | 0 | t->asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | t->dst | 0,4096-ptr_max |
| PARAM_VALUE | 0 | t->pl.state | 0 |
| PARAM_VALUE | 1 | saddr | 4096-ptr_max |
| PARAM_VALUE | 2 | fl | 4096-ptr_max |
| DATA_SOURCE | 0 | t | $0 |
| CONTAINER | 0 | -24-168+0 | $(-1) |
| CONTAINER | 1 | -24-168+232 | $(-1) |
| CONTAINER | 2 | -24-168+48 | $(-1) |
| CONTAINER | 3 | *(-24-168+16+0+176) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sk->sk_lock.slock |