Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/sctp/sm_statefuns.c sctp_abort_pkt_new() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->auth | 0 |
| PARAM_VALUE | 0 | packet->chunk_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->has_auth | 0 |
| PARAM_VALUE | 0 | packet->has_cookie_echo | 0 |
| PARAM_VALUE | 0 | packet->has_data | 0 |
| PARAM_VALUE | 0 | packet->has_sack | 0 |
| PARAM_VALUE | 0 | packet->ipfragok | 0 |
| PARAM_VALUE | 0 | packet->overhead | 0 |
| PARAM_VALUE | 0 | packet->size | 0 |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->transport->send_ready.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_end | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->flags | 0-1 |
| PARAM_VALUE | 1 | chunk->chunk_hdr->type | 6 |
| PARAM_VALUE | 1 | chunk->fast_retransmit | 0 |
| PARAM_VALUE | 1 | chunk->frag_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->list.next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.next->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | chunk->singleton | 1 |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->data_len | 0 |
| PARAM_VALUE | 1 | chunk->skb->destructor | 144410068879519744 |
| PARAM_VALUE | 1 | chunk->transmitted_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | packet | 72 |
| DATA_SOURCE | 0 | packet | r sctp_ootb_pkt_new |
| DATA_SOURCE | 1 | chunk | r sctp_make_abort |
| NOSPEC | 1 | chunk->asoc->rwnd_over | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | packet->destination_port | 0-u16max |
| USER_DATA | 0 | packet->source_port | 0-u16max |
| USER_DATA | 0 | packet->transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | packet->transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | packet->vtag | 0-u32max |
| USER_DATA | 1 | chunk->asoc->adv_peer_ack_point | 1-u32max |
| USER_DATA | 1 | chunk->asoc->force_delay | 0-1 |
| USER_DATA | 1 | chunk->asoc->peer.addip_disabled_mask | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->peer.port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | chunk->asoc->rwnd_over | 1-2147483646[c][u] |
| USER_DATA | 1 | chunk->asoc->stream.incnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->asoc->stream.outcnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->chunk_hdr->length | 0-u16max |
| USER_DATA | 1 | *chunk->skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | chunk->asoc->outqueue.out_qlen | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->end | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->truesize | |
| USER_PTR | 1 | chunk->skb->data | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_send_stale_cookie_err() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->auth | 0 |
| PARAM_VALUE | 0 | packet->chunk_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->has_auth | 0 |
| PARAM_VALUE | 0 | packet->has_cookie_echo | 0 |
| PARAM_VALUE | 0 | packet->has_data | 0 |
| PARAM_VALUE | 0 | packet->has_sack | 0 |
| PARAM_VALUE | 0 | packet->ipfragok | 0 |
| PARAM_VALUE | 0 | packet->overhead | 0 |
| PARAM_VALUE | 0 | packet->size | 0 |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->transport->send_ready.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->flags | 0 |
| PARAM_VALUE | 1 | chunk->chunk_hdr->type | 9 |
| PARAM_VALUE | 1 | chunk->fast_retransmit | 0 |
| PARAM_VALUE | 1 | chunk->refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | chunk->singleton | 1 |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->data_len | 0 |
| PARAM_VALUE | 1 | chunk->skb->destructor | 144410068879519744 |
| PARAM_VALUE | 1 | chunk->skb->sk | 4096-ptr_max |
| BUF_SIZE | 0 | packet | 72 |
| DATA_SOURCE | 0 | packet | r sctp_ootb_pkt_new |
| DATA_SOURCE | 1 | chunk | $5 |
| NOSPEC | 1 | chunk->asoc->c.raw_addr_list_len | |
| NOSPEC | 1 | chunk->asoc->rwnd_over | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | packet->destination_port | 0-u16max |
| USER_DATA | 0 | packet->source_port | 0-u16max |
| USER_DATA | 0 | packet->transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | packet->transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | packet->vtag | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->adv_peer_ack_point | 1-u32max |
| USER_DATA | 1 | chunk->asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->c.expiration | s64min-s64max |
| USER_DATA | 1 | chunk->asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->c.my_ttag | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->c.padding | 0-255[u] |
| USER_DATA | 1 | chunk->asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->c.peer_ttag | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->c.peer_vtag | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 1 | chunk->asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 1 | chunk->asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->force_delay | 0-1 |
| USER_DATA | 1 | chunk->asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->pathmtu | 512-u32max[c][u] |
| USER_DATA | 1 | chunk->asoc->peer.adaptation_ind | 0-u32max[u] |
| USER_DATA | 1 | chunk->asoc->peer.addip_disabled_mask | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->peer.port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 1 | chunk->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | chunk->asoc->rwnd_over | 1-2147483646[c][u] |
| USER_DATA | 1 | chunk->asoc->rwnd_press | 1-2147483134[c][u] |
| USER_DATA | 1 | chunk->asoc->stream.incnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->asoc->stream.outcnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->asoc->strreset_outseq | 0-u32max[u] |
| USER_DATA | 1 | chunk->chunk_hdr->length | 0-u16max |
| USER_DATA | 1 | *chunk->skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->end | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->truesize | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_abort_violation() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->auth | 0 |
| PARAM_VALUE | 0 | packet->chunk_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->has_auth | 0 |
| PARAM_VALUE | 0 | packet->has_cookie_echo | 0 |
| PARAM_VALUE | 0 | packet->has_data | 0 |
| PARAM_VALUE | 0 | packet->has_sack | 0 |
| PARAM_VALUE | 0 | packet->ipfragok | 0 |
| PARAM_VALUE | 0 | packet->overhead | 0 |
| PARAM_VALUE | 0 | packet->size | 0 |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->transport->send_ready.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc | 0 |
| PARAM_VALUE | 1 | chunk->chunk_end | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->flags | 0-1 |
| PARAM_VALUE | 1 | chunk->chunk_hdr->type | 6 |
| PARAM_VALUE | 1 | chunk->fast_retransmit | 0 |
| PARAM_VALUE | 1 | chunk->frag_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->list.next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.next->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | chunk->singleton | 1 |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->data_len | 0 |
| PARAM_VALUE | 1 | chunk->skb->destructor | 144410068879519744 |
| PARAM_VALUE | 1 | chunk->transmitted_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | packet | 72 |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| DATA_SOURCE | 0 | packet | r sctp_ootb_pkt_new |
| DATA_SOURCE | 1 | chunk | r sctp_make_abort_violation |
| NOSPEC | 1 | chunk->asoc->rwnd_over | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | packet->destination_port | 0-u16max |
| USER_DATA | 0 | packet->source_port | 0-u16max |
| USER_DATA | 0 | packet->transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | packet->transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | packet->vtag | 0-u32max |
| USER_DATA | 1 | chunk->asoc->adv_peer_ack_point | 1-u32max |
| USER_DATA | 1 | chunk->asoc->force_delay | 0-1 |
| USER_DATA | 1 | chunk->asoc->peer.addip_disabled_mask | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->peer.port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | chunk->asoc->rwnd_over | 1-2147483646[c][u] |
| USER_DATA | 1 | chunk->asoc->stream.incnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->asoc->stream.outcnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->chunk_hdr->length | 0-u16max |
| USER_DATA | 1 | *chunk->skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->end | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->truesize | |
| USER_PTR | 1 | chunk->skb->data | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_new_encap_port() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->auth | 0 |
| PARAM_VALUE | 0 | packet->chunk_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->has_auth | 0 |
| PARAM_VALUE | 0 | packet->has_cookie_echo | 0 |
| PARAM_VALUE | 0 | packet->has_data | 0 |
| PARAM_VALUE | 0 | packet->has_sack | 0 |
| PARAM_VALUE | 0 | packet->ipfragok | 0 |
| PARAM_VALUE | 0 | packet->overhead | 0 |
| PARAM_VALUE | 0 | packet->size | 0 |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->transport->send_ready.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_end | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->flags | 0-1 |
| PARAM_VALUE | 1 | chunk->chunk_hdr->type | 6 |
| PARAM_VALUE | 1 | chunk->fast_retransmit | 0 |
| PARAM_VALUE | 1 | chunk->frag_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->list.next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.next->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | chunk->singleton | 1 |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->data_len | 0 |
| PARAM_VALUE | 1 | chunk->skb->destructor | 144410068879519744 |
| PARAM_VALUE | 1 | chunk->transmitted_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | packet | 72 |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| DATA_SOURCE | 0 | packet | r sctp_ootb_pkt_new |
| DATA_SOURCE | 1 | chunk | r sctp_make_new_encap_port |
| NOSPEC | 1 | chunk->asoc->rwnd_over | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | packet->destination_port | 0-u16max |
| USER_DATA | 0 | packet->source_port | 0-u16max |
| USER_DATA | 0 | packet->transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | packet->transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | packet->vtag | 0-u32max |
| USER_DATA | 1 | chunk->asoc->adv_peer_ack_point | 1-u32max |
| USER_DATA | 1 | chunk->asoc->force_delay | 0-1 |
| USER_DATA | 1 | chunk->asoc->peer.addip_disabled_mask | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->peer.port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | chunk->asoc->rwnd_over | 1-2147483646[c][u] |
| USER_DATA | 1 | chunk->asoc->stream.incnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->asoc->stream.outcnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->chunk_hdr->length | 0-u16max |
| USER_DATA | 1 | *chunk->skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->end | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->truesize | |
| USER_PTR | 1 | chunk->skb->data | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_shut_8_4_5() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->auth | 0 |
| PARAM_VALUE | 0 | packet->chunk_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->has_auth | 0 |
| PARAM_VALUE | 0 | packet->has_cookie_echo | 0 |
| PARAM_VALUE | 0 | packet->has_data | 0 |
| PARAM_VALUE | 0 | packet->has_sack | 0 |
| PARAM_VALUE | 0 | packet->ipfragok | 0 |
| PARAM_VALUE | 0 | packet->overhead | 0 |
| PARAM_VALUE | 0 | packet->size | 0 |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->transport->send_ready.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->flags | 0-1 |
| PARAM_VALUE | 1 | chunk->chunk_hdr->length | 4 |
| PARAM_VALUE | 1 | chunk->chunk_hdr->type | 14 |
| PARAM_VALUE | 1 | chunk->fast_retransmit | 0 |
| PARAM_VALUE | 1 | chunk->frag_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->list.next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.next->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | chunk->singleton | 1 |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->destructor | 144410068879519744 |
| PARAM_VALUE | 1 | chunk->transmitted_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | packet | 72 |
| DATA_SOURCE | 0 | packet | r sctp_ootb_pkt_new |
| DATA_SOURCE | 1 | chunk | r sctp_make_shutdown_complete |
| NOSPEC | 1 | chunk->asoc->rwnd_over | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | packet->destination_port | 0-u16max |
| USER_DATA | 0 | packet->source_port | 0-u16max |
| USER_DATA | 0 | packet->transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | packet->transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | packet->vtag | 0-u32max |
| USER_DATA | 1 | chunk->asoc->adv_peer_ack_point | 1-u32max |
| USER_DATA | 1 | chunk->asoc->force_delay | 0-1 |
| USER_DATA | 1 | chunk->asoc->peer.addip_disabled_mask | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->peer.port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | chunk->asoc->rwnd_over | 1-2147483646[c][u] |
| USER_DATA | 1 | chunk->asoc->stream.incnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->asoc->stream.outcnt | 0-u16max[c] |
| USER_DATA | 1 | *chunk->skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | chunk->asoc->outqueue.out_qlen | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->end | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->truesize | |
| USER_PTR | 1 | chunk->skb->data | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_tabort_8_4_8() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->auth | 0 |
| PARAM_VALUE | 0 | packet->chunk_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->has_auth | 0 |
| PARAM_VALUE | 0 | packet->has_cookie_echo | 0 |
| PARAM_VALUE | 0 | packet->has_data | 0 |
| PARAM_VALUE | 0 | packet->has_sack | 0 |
| PARAM_VALUE | 0 | packet->ipfragok | 0 |
| PARAM_VALUE | 0 | packet->overhead | 0 |
| PARAM_VALUE | 0 | packet->size | 0 |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->transport->send_ready.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->flags | 0-1 |
| PARAM_VALUE | 1 | chunk->chunk_hdr->length | 4 |
| PARAM_VALUE | 1 | chunk->chunk_hdr->type | 6 |
| PARAM_VALUE | 1 | chunk->fast_retransmit | 0 |
| PARAM_VALUE | 1 | chunk->frag_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->frag_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->list.next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.next->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->next | 1-u64max |
| PARAM_VALUE | 1 | chunk->list.prev->prev | 1-u64max |
| PARAM_VALUE | 1 | chunk->refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | chunk->singleton | 1 |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->destructor | 144410068879519744 |
| PARAM_VALUE | 1 | chunk->transmitted_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transmitted_list.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | packet | 72 |
| DATA_SOURCE | 0 | packet | r sctp_ootb_pkt_new |
| DATA_SOURCE | 1 | chunk | r sctp_make_abort |
| NOSPEC | 1 | chunk->asoc->rwnd_over | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | packet->destination_port | 0-u16max |
| USER_DATA | 0 | packet->source_port | 0-u16max |
| USER_DATA | 0 | packet->transport->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | packet->transport->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | packet->transport->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | packet->vtag | 0-u32max |
| USER_DATA | 1 | chunk->asoc->adv_peer_ack_point | 1-u32max |
| USER_DATA | 1 | chunk->asoc->force_delay | 0-1 |
| USER_DATA | 1 | chunk->asoc->peer.addip_disabled_mask | 0-u16max[u] |
| USER_DATA | 1 | chunk->asoc->peer.port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | chunk->asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | chunk->asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | chunk->asoc->rwnd_over | 1-2147483646[c][u] |
| USER_DATA | 1 | chunk->asoc->stream.incnt | 0-u16max[c] |
| USER_DATA | 1 | chunk->asoc->stream.outcnt | 0-u16max[c] |
| USER_DATA | 1 | *chunk->skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | chunk->asoc->outqueue.out_qlen | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->end | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->len | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | chunk->skb->truesize | |
| USER_PTR | 1 | chunk->skb->data | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/output.c sctp_packet_config() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->max_size | 0-u32max |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->transport->af_specific->sockaddr_len | 0,16,28 |
| PARAM_VALUE | 0 | packet->transport->asoc->need_ecne | 1 |
| PARAM_VALUE | 0 | packet->transport->asoc->stream.si->data_chunk_len | 16,20 |
| PARAM_VALUE | 0 | packet->transport->dst | 0-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| BUF_SIZE | 0 | packet | 72 |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| DATA_SOURCE | 0 | packet | $0 |
| DATA_SOURCE | 1 | chunk | r sctp_get_ecne_prepend |
| BIT_INFO | 0 | packet->overhead | 0x0,0xffffffff |
| BIT_INFO | 0 | packet->size | 0x0,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | packet->vtag | 0-u32max |
net/sctp/output.c sctp_packet_transmit_chunk() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc->stream.si->data_chunk_len | 16,20 |
| PARAM_VALUE | 1 | chunk->transport | 0,4096-ptr_max |
| DATA_SOURCE | 0 | packet | $0 |
| DATA_SOURCE | 1 | chunk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/sctp/output.c sctp_packet_transmit_chunk() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->has_cookie_echo | 0 |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc->stream.si->data_chunk_len | 16,20 |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->transport | 0,4096-ptr_max |
| CAPPED_DATA | 0 | packet->transport | 1 |
| DATA_SOURCE | 0 | packet | $0 |
| DATA_SOURCE | 1 | chunk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/sctp/outqueue.c __sctp_outq_flush_rtx() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->tsn_gap_acked | 0 |
| BUF_SIZE | 0 | packet | (-1),72 |
| BUF_SIZE | 0 | packet | (-1),72 |
| CAPPED_DATA | 1 | &chunk->transmitted_list | 1 |
| DATA_SOURCE | 0 | packet | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
net/sctp/outqueue.c sctp_packet_singleton() -> sctp_packet_append_chunk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | packet | 90725981252694016 |
| PARAM_VALUE | 0 | packet->auth | 0 |
| PARAM_VALUE | 0 | packet->chunk_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->chunk_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | packet->has_auth | 0 |
| PARAM_VALUE | 0 | packet->has_cookie_echo | 0 |
| PARAM_VALUE | 0 | packet->has_data | 0 |
| PARAM_VALUE | 0 | packet->has_sack | 0 |
| PARAM_VALUE | 0 | packet->ipfragok | 0 |
| PARAM_VALUE | 0 | packet->overhead | 0 |
| PARAM_VALUE | 0 | packet->size | 0 |
| PARAM_VALUE | 0 | packet->transport | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->asoc->stream.si->data_chunk_len | 16,20 |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->type | 1-2,4-6,8-11,13-14,128 |
| PARAM_VALUE | 1 | chunk->transport | 0,4096-ptr_max |
| DATA_SOURCE | 1 | chunk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |