Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/sctp/sm_make_chunk.c sctp_chunk_free() -> sctp_datamsg_put()

Type Parameter Key Value
PARAM_VALUE 0 msg 1-u64max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/sctp/chunk.c sctp_datamsg_free() -> sctp_datamsg_put()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->abandoned 0
PARAM_VALUE 0 msg->chunks.next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.next->next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev->next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev->prev 4096-ptr_max
PARAM_VALUE 0 msg->send_error 0
PARAM_VALUE 0 msg->send_failed 0
BUF_SIZE 0 msg 40
CAPPED_DATA 0 &msg->chunks 1
DATA_SOURCE 0 msg $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->abandoned 0
PARAM_VALUE 0 msg->chunks.next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.next->next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev->next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev->prev 4096-ptr_max
PARAM_VALUE 0 msg->send_error 0
PARAM_VALUE 0 msg->send_failed 0
BUF_SIZE 0 msg 40
CAPPED_DATA 0 &msg->chunks 1
DATA_SOURCE 0 msg r sctp_datamsg_new
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/sctp/socket.c sctp_sendmsg_to_asoc() -> sctp_datamsg_put()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->abandoned 0
PARAM_VALUE 0 msg->chunks.next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.next->next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev->next 4096-ptr_max
PARAM_VALUE 0 msg->chunks.prev->prev 4096-ptr_max
PARAM_VALUE 0 msg->send_error 0
PARAM_VALUE 0 msg->send_failed 0
BUF_SIZE 0 msg 40
CAPPED_DATA 0 &msg->chunks 1
DATA_SOURCE 0 msg r sctp_datamsg_from_user
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk