Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sctp/sm_make_chunk.c sctp_make_abort_no_data() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 2304
PARAM_VALUE 2 paylen 4
DATA_SOURCE 0 chunk r sctp_make_abort
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
UNITS 2 paylen unit_byte
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_make_abort_user() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 3072
PARAM_VALUE 2 paylen 0-4000000
CAPPED_DATA 2 paylen 1
CAPPED_DATA 2 paylen 1
DATA_SOURCE 0 chunk r sctp_make_abort
DATA_SOURCE 2 paylen $2
NOSPEC 2 paylen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 paylen 0-4000000[c]
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
UNITS 2 paylen unit_byte
LOCK2 sk

net/sctp/sm_make_chunk.c sctp_make_abort_violation() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 0,4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 3328
PARAM_VALUE 2 paylen 4-65539
DATA_SOURCE 0 chunk r sctp_make_abort
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
UNITS 2 paylen unit_byte
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_make_new_encap_port() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 0,4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 3584
PARAM_VALUE 2 paylen 4
DATA_SOURCE 0 chunk r sctp_make_abort
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
UNITS 2 paylen unit_byte
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_make_op_error() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 0,4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 9
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 256,768,1280-1281,1536,2560
DATA_SOURCE 0 chunk r sctp_make_op_error_space
DATA_SOURCE 1 cause_code $2
NOSPEC 0 chunk->asoc->rwnd_over
HARD_MAX 1 cause_code 2560
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
USER_DATA 2 paylen 0-65537[c]
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
UNITS 2 paylen unit_byte
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_make_violation_max_retrans() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 3328
PARAM_VALUE 2 paylen 43
DATA_SOURCE 0 chunk r sctp_make_abort
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
UNITS 2 paylen unit_byte

net/sctp/sm_make_chunk.c sctp_make_violation_paramlen() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 0,4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 3328
PARAM_VALUE 2 paylen 48
DATA_SOURCE 0 chunk r sctp_make_abort
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
UNITS 2 paylen unit_byte
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_inv_mandatory() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 1 cause_code 1792
PARAM_VALUE 2 paylen 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_missing_param() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 1 cause_code 512
PARAM_VALUE 2 paylen 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 paylen unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_unk_param() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 1 cause_code 2048
PARAM_VALUE 2 paylen 0-u16max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 paylen 0-u16max
UNITS 2 paylen unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_asconf_ack() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 41728
PARAM_VALUE 2 paylen 0
DATA_SOURCE 0 chunk r sctp_make_abort
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_asconf_ack() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 41216
PARAM_VALUE 2 paylen 0
DATA_SOURCE 0 chunk r sctp_make_abort
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_assoc_update() -> sctp_init_cause()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 cause_code 41216
PARAM_VALUE 2 paylen 0
DATA_SOURCE 0 chunk r sctp_make_abort
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk