Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/sm_sideeffect.c sctp_cmd_adaptation_ind() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_adaptation_indication
CONTAINER 0 -40-56-2064+2240 $(-1)
NOCHECK_CALL

net/sctp/sm_sideeffect.c sctp_cmd_assoc_change() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_assoc_change
CONTAINER 0 -40-56-2064+2240 $(-1)
NOCHECK_CALL

net/sctp/sm_sideeffect.c sctp_cmd_peer_no_auth() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_authkey
CONTAINER 0 -40-56-2064+2240 $(-1)
NOCHECK_CALL

net/sctp/sm_sideeffect.c sctp_cmd_process_operr() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->rmem_len 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_remote_error
CONTAINER 0 -40-56-2064+2240 $(-1)
NOCHECK_CALL

net/sctp/sm_make_chunk.c sctp_control_release_owner() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_authkey
CONTAINER 0 -40-56-2064+2240 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &commonring->lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 &fq->q.lock
HALF_LOCKED2 &priv->driver_lock
HALF_LOCKED2 &qp->q.lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &rfcomm_dev_lock
HALF_LOCKED2 global &rfcomm_ioctl_mutex
HALF_LOCKED2 global &rfcomm_mutex
HALF_LOCKED2 rcu_read

net/sctp/ulpevent.c sctp_ulpevent_notify_peer_addr_change() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->asoc->state 3-u32max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_peer_addr_change
CONTAINER 0 -40-56-2064+2240 $(-1)
NOSPEC 1 event->asoc->c.raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 event->asoc->addip_serial 0-u32max[u]
USER_DATA 1 event->asoc->c.adaptation_ind 0-u32max[u]
USER_DATA 1 event->asoc->c.expiration s64min-s64max
USER_DATA 1 event->asoc->c.initial_tsn 0-u32max[u]
USER_DATA 1 event->asoc->c.my_ttag 0-u32max
USER_DATA 1 event->asoc->c.padding 0-255[u]
USER_DATA 1 event->asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 1 event->asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 1 event->asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 1 event->asoc->c.peer_addr.v6.sin6_flowinfo 0-u32max[u]
USER_DATA 1 event->asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 1 event->asoc->c.peer_addr.v6.sin6_scope_id 0-u32max[u]
USER_DATA 1 event->asoc->c.peer_ttag 0-u32max
USER_DATA 1 event->asoc->c.peer_vtag 0-u32max
USER_DATA 1 event->asoc->c.prsctp_capable 0-255[u]
USER_DATA 1 event->asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 1 event->asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 1 event->asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 1 event->asoc->default_hmac_id 0-3
USER_DATA 1 event->asoc->force_delay 0-1
USER_DATA 1 event->asoc->next_tsn 0-u32max[u]
USER_DATA 1 event->asoc->peer.adaptation_ind 0-u32max[u]
USER_DATA 1 event->asoc->peer.port 0-u16max
USER_DATA 1 event->asoc->peer.prsctp_capable 0-1[u]
USER_DATA 1 event->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 1 event->asoc->strreset_outseq 0-u32max[u]

net/sctp/chunk.c sctp_datamsg_destroy() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->asoc->stream.si 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->rmem_len 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_send_failed
CONTAINER 0 -40-56-2064+2240 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/sctp/chunk.c sctp_datamsg_destroy() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->asoc->stream.si 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->rmem_len 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_send_failed_event
CONTAINER 0 -40-56-2064+2240 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/sctp/socket.c sctp_assoc_ulpevent_type_set() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_sender_dry_event
CONTAINER 0 -40-56-2064+2240 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 event->asoc->force_delay 0-1
USER_DATA 1 event->asoc->subscribe 0-u16max[c][u]
LOCK2 sk

net/sctp/socket.c sctp_setsockopt_events() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_sender_dry_event
CONTAINER 0 -40-56-2064+2240 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk

net/sctp/socket.c sctp_wfree() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_authkey
CONTAINER 0 -40-56-2064+2240 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 event->asoc->sndbuf_used s32min-s32max[c]
HALF_LOCKED2 &commonring->lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 &fq->q.lock
HALF_LOCKED2 &priv->driver_lock
HALF_LOCKED2 &qp->q.lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &rfcomm_dev_lock
HALF_LOCKED2 global &rfcomm_ioctl_mutex
HALF_LOCKED2 global &rfcomm_mutex
HALF_LOCKED2 rcu_read

net/sctp/auth.c sctp_auth_deact_key_id() -> (struct sctp_stream_interleave)->enqueue_event()

Type Parameter Key Value
PARAM_VALUE 0 ulpq 4096-ptr_max
PARAM_VALUE 1 event 4096-ptr_max
PARAM_VALUE 1 event->asoc 4096-ptr_max
PARAM_VALUE 1 event->chunk 0
PARAM_VALUE 1 event->chunk->head_skb 0,4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk 4096-ptr_max
PARAM_VALUE 1 event->chunk->head_skb->sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 event->chunk->shkey 0,4096-ptr_max
PARAM_VALUE 1 event->cumtsn 0
PARAM_VALUE 1 event->flags 0
PARAM_VALUE 1 event->fsn 0
PARAM_VALUE 1 event->mid 0
PARAM_VALUE 1 event->msg_flags 32768
PARAM_VALUE 1 event->ppid 0
PARAM_VALUE 1 event->ssn 0
PARAM_VALUE 1 event->stream 0
PARAM_VALUE 1 event->tsn 0
BUF_SIZE 1 event 48
BUF_SIZE 1 event 48
DATA_SOURCE 1 event r sctp_ulpevent_make_authkey
CONTAINER 0 -40-56-2064+2240 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk