Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/sctp/ulpevent.c __sctp_ulpevent_read_nxtinfo() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_make_adaptation_indication() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| BUF_SIZE | 0 | asoc | (-1),3016 |
| BUF_SIZE | 0 | asoc | (-1),3016 |
| DATA_SOURCE | 0 | asoc | $0 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->asoc_shared_key->len | 0-393210[c] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->frag_point | 0,432-65512[c] |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.active_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.active_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.active_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.active_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 1-u32max |
| USER_DATA | 0 | asoc->peer.i.a_rwnd | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.init_tag | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.initial_tsn | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.num_inbound_streams | 0-u16max |
| USER_DATA | 0 | asoc->peer.i.num_outbound_streams | 0-u16max |
| USER_DATA | 0 | asoc->peer.last_data_from->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.primary_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.retran_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.retran_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.rwnd | 0-u32max |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_chunk->transport->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->strreset_inseq | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
net/sctp/ulpevent.c sctp_ulpevent_make_assoc_change() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| BUF_SIZE | 0 | asoc | (-1),3016 |
| BUF_SIZE | 0 | asoc | (-1),3016 |
| DATA_SOURCE | 0 | asoc | $0 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->asoc_shared_key->len | 0-393210[c] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->frag_point | 0,432-65512[c] |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.active_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.active_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.active_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.active_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.a_rwnd | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.init_tag | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.initial_tsn | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.num_inbound_streams | 0-u16max |
| USER_DATA | 0 | asoc->peer.i.num_outbound_streams | 0-u16max |
| USER_DATA | 0 | asoc->peer.last_data_from->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.primary_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.retran_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.retran_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.rwnd | 0-u32max |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_chunk->transport->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->strreset_inseq | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
net/sctp/ulpevent.c sctp_ulpevent_make_assoc_reset_event() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| CAPPED_DATA | 0 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | asoc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->stream.outcnt | 0-u16max |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_make_authkey() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| BUF_SIZE | 0 | asoc | (-1),3016 |
| BUF_SIZE | 0 | asoc | (-1),3016 |
| DATA_SOURCE | 0 | asoc | $0 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | asoc->sndbuf_used | s32min-s32max[c] |
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->frag_point | 0,432-65512[c] |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.active_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.active_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.active_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.active_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.a_rwnd | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.init_tag | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.initial_tsn | 0-u32max |
| USER_DATA | 0 | asoc->peer.i.num_inbound_streams | 0-u16max |
| USER_DATA | 0 | asoc->peer.i.num_outbound_streams | 0-u16max |
| USER_DATA | 0 | asoc->peer.last_data_from->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.primary_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.retran_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.retran_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.rwnd | 0-u32max |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_chunk->transport->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->strreset_inseq | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_make_pdapi() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| DATA_SOURCE | 0 | asoc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/sctp/ulpevent.c sctp_ulpevent_make_peer_addr_change() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| DATA_SOURCE | 0 | asoc | $0 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->default_hmac_id | 0-3 |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
net/sctp/ulpevent.c sctp_ulpevent_make_remote_error() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| DATA_SOURCE | 0 | asoc | $0 |
net/sctp/ulpevent.c sctp_ulpevent_make_send_failed() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| DATA_SOURCE | 0 | asoc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_make_send_failed_event() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| DATA_SOURCE | 0 | asoc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_make_sender_dry_event() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| DATA_SOURCE | 0 | asoc | $0 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| USER_DATA | 0 | asoc->subscribe | 0-u16max[c][u] |
| HALF_LOCKED2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_make_shutdown_event() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| CAPPED_DATA | 0 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | asoc | $0 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_make_stream_change_event() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| CAPPED_DATA | 0 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | asoc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->stream.incnt | 0-u16max[c] |
| USER_DATA | 0 | asoc->stream.outcnt | 0-u16max |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_make_stream_reset_event() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| CAPPED_DATA | 0 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | asoc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->stream.outcnt | 0-u16max |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_read_rcvinfo() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | sk |
net/sctp/ulpevent.c sctp_ulpevent_read_sndrcvinfo() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | sk |
net/sctp/socket.c sctp_getsockopt_peer_addr_info() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| RX_PATH | |||
| LOCK2 | sk |
net/sctp/socket.c sctp_getsockopt_sctp_status() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| DATA_SOURCE | 0 | asoc | r sctp_id2assoc |
| RX_PATH | |||
| LOCK2 | sk |
net/sctp/socket.c sctp_getsockopt_sctp_status() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| LOCK2 | sk |
net/sctp/socket.c sctp_sendmsg_update_sinfo() -> sctp_assoc2id()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| DATA_SOURCE | 0 | asoc | $0 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->default_hmac_id | 0-3 |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |