Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/qrtr/af_qrtr.c qrtr_port_remove() -> qrtr_bcast_enqueue()

Type Parameter Key Value
PARAM_VALUE 0 node 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->destructor 0,5871617288306880512,7346051344949997568
PARAM_VALUE 1 skb->sk 0,4096-ptr_max
PARAM_VALUE 2 type 6
PARAM_VALUE 3 from 4096-ptr_max
PARAM_VALUE 4 to 267743093657518080
PARAM_VALUE 4 to->sq_family 42
PARAM_VALUE 4 to->sq_node u32max
PARAM_VALUE 4 to->sq_port 4294967294
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 1 skb r qrtr_alloc_ctrl_packet
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk

net/qrtr/af_qrtr.c qrtr_sendmsg() -> qrtr_sendmsg ptr enqueue_fn()

Type Parameter Key Value
PARAM_VALUE 0 node 0,4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 3 from 4096-ptr_max
PARAM_VALUE 4 to 4096-ptr_max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 4 to (-1)-0,12,28,128
BUF_SIZE 4 to (-1)-0,12,28,128
CAPPED_DATA 4 to->sq_node 1
DATA_SOURCE 1 skb r sock_alloc_send_skb
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 to->sq_node 0-4294967294[c][u]
USER_DATA 4 to->sq_port 0-u32max[u]
UNITS 4 to unit_byte
USER_PTR 4 to
LOCK2 sk
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk