Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/sm_statefuns.c sctp_eat_data() -> (struct sctp_stream_interleave)->validate_data()

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->length 16-u16max
PARAM_VALUE 0 chunk->data_accepted 1
PARAM_VALUE 0 chunk->pdiscard 0
PARAM_VALUE 0 chunk->sctp_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->data 4096-ptr_max
PARAM_VALUE 0 chunk->subh.data_hdr 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.data_hdr 1-s32max
CAPPED_DATA 0 chunk->sctp_hdr->vtag 1
DATA_SOURCE 0 chunk $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.data_hdr->ppid 0-u32max[u]
USER_DATA 0 chunk->subh.data_hdr->ssn 0-u16max[u]
USER_DATA 0 chunk->subh.data_hdr->stream 0-u16max[u]
USER_DATA 0 chunk->subh.data_hdr->tsn 0-u32max[u]
USER_PTR 0 chunk->subh.data_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk