Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/tipc/bearer.c tipc_bearer_bc_xmit() -> tipc_crypto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 1 skb 6135955583316279296
PARAM_VALUE 1 *skb 4096-ptr_max
PARAM_VALUE 2 b 0,4096-ptr_max
PARAM_VALUE 3 dst 88,4096-ptr_max
PARAM_VALUE 4 __dnode 0
BUF_SIZE 3 dst 34
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 b r bearer_get
PARAM_COMPARE 2 &b->bcast_addr == $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
USER_PTR 1 (*skb).data
LOCK2 rcu_read
HALF_LOCKED2 &n->lock

net/tipc/bearer.c tipc_bearer_xmit() -> tipc_crypto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 1 skb 2886936695584071680
PARAM_VALUE 1 *skb 4096-ptr_max
PARAM_VALUE 2 b 4096-ptr_max
PARAM_VALUE 3 dst 0,4096-ptr_max
PARAM_VALUE 4 __dnode 0,4096-ptr_max
BUF_SIZE 3 dst (-1),34
BUF_SIZE 3 dst (-1),34
BUF_SIZE 4 __dnode (-1),1464
BUF_SIZE 4 __dnode (-1),1464
CAPPED_DATA 0 net->gen 1
CAPPED_DATA 4 __dnode 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 b r bearer_get
DATA_SOURCE 3 dst $3
DATA_SOURCE 4 __dnode $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->inputq->next->prev->data_len
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->inputq->next->prev->truesize
UNITS 0 net unit_byte
USER_PTR 1 (*skb).data
LOCK2 rcu_read
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 4 &__dnode->lock

net/tipc/bearer.c tipc_bearer_xmit_skb() -> tipc_crypto_xmit()

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 b 4096-ptr_max
PARAM_VALUE 3 dst 4096-ptr_max
PARAM_VALUE 4 __dnode 0
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 b r bearer_get
DATA_SOURCE 3 dst $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
USER_PTR 1 (*skb).data
LOCK2 rcu_read
HALF_LOCKED2 global &rtnl_mutex

net/tipc/crypto.c tipc_crypto_clone_msg() -> tipc_crypto_xmit()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 0 net->ipv4.fib_main->tb_id 0-4294967295
PARAM_VALUE 0 net->loopback_dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 skb 1264631446449344512
PARAM_VALUE 1 *skb 4096-ptr_max
PARAM_VALUE 4 __dnode 0,4096-ptr_max
PARAM_VALUE 4 __dnode->action_flags s32min-s32max
PARAM_VALUE 4 __dnode->addr 0-4294967295
PARAM_VALUE 4 __dnode->keepalive_intv 0-s64max
PARAM_VALUE 4 __dnode->preliminary 0-1
BUF_SIZE 3 dst (-1),34
BUF_SIZE 3 dst (-1),34
BUF_SIZE 4 __dnode (-1)-0,32,1464
BUF_SIZE 4 __dnode (-1)-0,32,1464
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
DATA_SOURCE 2 b $2
DATA_SOURCE 3 dst $3
DATA_SOURCE 4 __dnode $4
FUZZY_MAX 4 __dnode->keepalive_intv 10000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->failover_reasm_skb
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->failover_reasm_skb->extensions
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->inputq->next->prev->data_len
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->inputq->next->prev->end
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->inputq->next->prev->len
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->inputq->next->prev->tail
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->inputq->next->prev->truesize
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->last_ga
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->reasm_buf
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->reasm_buf->extensions
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->reasm_tnlmsg
NO_OVERFLOW_SIMPLE 4 __dnode->bc_entry.link->reasm_tnlmsg->extensions
UNITS 0 net unit_byte
USER_PTR 1 (*skb).data
HALF_LOCKED2 rcu_read
HALF_LOCKED2 4 &__dnode->lock