Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/tipc/node.c tipc_node_broadcast() -> tipc_node_xmit_skb()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 2 dnode 1-u32max
PARAM_VALUE 3 selector 0
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
CAPPED_DATA 0 net->gen 1
CAPPED_DATA 1 skb 1
CAPPED_DATA 2 dnode 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 skb r pskb_copy
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 rcu_read

net/tipc/node.c tipc_node_distr_xmit() -> tipc_node_xmit_skb()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-7101256418675773440
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
DATA_SOURCE 0 net $0
DATA_SOURCE 1 skb r __skb_dequeue
DATA_SOURCE 2 dnode r msg_destnode
DATA_SOURCE 3 selector r msg_origport
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
HALF_LOCKED2 sk

net/tipc/socket.c __tipc_shutdown() -> tipc_node_xmit_skb()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 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 1 skb->next 0
PARAM_VALUE 1 *skb->data->hdr 0-4294967295
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
CAPPED_DATA 0 net->gen 1
CAPPED_DATA 2 dnode 1
DATA_SOURCE 1 skb r tipc_msg_create
DATA_SOURCE 2 dnode r tsk_peer_node
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 sk

net/tipc/socket.c tipc_sk_rcv() -> tipc_node_xmit_skb()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->active_extensions 0-255
PARAM_VALUE 1 skb->data_len 0-1
PARAM_VALUE 1 skb->hdr_len 0
PARAM_VALUE 1 skb->head_frag 0
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->nohdr 0
PARAM_VALUE 1 skb->pp_recycle 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 1 skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 0-1
PARAM_VALUE 1 skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead 0-1
PARAM_VALUE 1 skb->sk->sk_callback_lock.owner_cpu 0-4294967295
PARAM_VALUE 1 skb->sk->sk_callback_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 1 skb->sk->sk_callback_lock.raw_lock.wlocked 0-255
PARAM_VALUE 1 skb->sk->sk_owner->refcnt.counter s32min-s32max
PARAM_VALUE 1 skb->sk->sk_prot_creator->owner->refcnt.counter s32min-s32max
PARAM_VALUE 1 *skb->data 0-255
PARAM_VALUE 1 *skb->head 0-255
CAPPED_DATA 0 net->gen 1
CAPPED_DATA 3 selector 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 dnode r msg_destnode
DATA_SOURCE 3 selector r tipc_skb_peek_port
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/socket.c tipc_sk_respond() -> tipc_node_xmit_skb()

Type Parameter Key Value
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->_nfct 0
PARAM_VALUE 1 skb->_skb_refdst 0
PARAM_VALUE 1 skb->active_extensions 0
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->destructor 0
PARAM_VALUE 1 skb->hdr_len 0
PARAM_VALUE 1 skb->head_frag 0
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->nohdr 0
PARAM_VALUE 1 skb->pp_recycle 0
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 1 skb->sk 0
PARAM_VALUE 1 skb->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 1 skb->sk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 1 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 1 skb->sk->sk_callback_lock.owner (-1)
PARAM_VALUE 1 skb->sk->sk_callback_lock.owner_cpu 4294967295
PARAM_VALUE 1 skb->sk->sk_callback_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 1 skb->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 1 skb->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 skb->sk->sk_rcu.next 0
PARAM_VALUE 1 *skb->data 0-255
PARAM_VALUE 1 *skb->head 0-255
PARAM_VALUE 1 *skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
DATA_SOURCE 1 skb $1 [m]
DATA_SOURCE 2 dnode r msg_destnode
DATA_SOURCE 3 selector r msg_origport
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk

net/tipc/socket.c tipc_sk_send_ack() -> tipc_node_xmit_skb()

Type Parameter Key Value
PARAM_VALUE 3 selector 0-131071
CAPPED_DATA 3 selector 1
DATA_SOURCE 1 skb r tipc_sk_build_ack
BIT_INFO 3 selector 0x0,0x1ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex