Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

net/sctp/ulpevent.c sctp_ulpevent_make_send_failed() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/sctp/ulpevent.c sctp_ulpevent_make_send_failed() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->si 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/sctp/ulpevent.c sctp_ulpevent_make_send_failed_event() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/sctp/ulpevent.c sctp_ulpevent_make_send_failed_event() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->si 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_eat_data() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->si 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_eat_data_6_2() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_eat_data_fast_4_4() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/chunk.c sctp_datamsg_from_user() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/sctp/socket.c sctp_setsockopt_maxseg() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/sctp/output.c sctp_data_size() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 stream->incnt 0-u16max[c]
USER_DATA 0 stream->outcnt 0-u16max[c]

net/sctp/output.c sctp_packet_can_append_data() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->si 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

net/sctp/outqueue.c sctp_data_size() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/sctp/associola.c sctp_assoc_update_frag_point() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 stream->incnt 1-u16max[c]
HALF_LOCKED2 sk

net/sctp/associola.c sctp_assoc_update_frag_point() -> sctp_datachk_len()

Type Parameter Key Value
PARAM_VALUE 0 stream 4096-ptr_max
PARAM_VALUE 0 stream->si 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 stream->incnt 1-u16max[c]
HALF_LOCKED2 sk