Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
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 4096-ptr_max
PARAM_VALUE 4 __dnode 0,4096-ptr_max
PARAM_VALUE 5 type 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
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
HALF_LOCKED2 rcu_read
HALF_LOCKED2 4 &__dnode->lock

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

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
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 4096-ptr_max
PARAM_VALUE 1 _skb->data 0-255
PARAM_VALUE 4 __dnode 0,4096-ptr_max
PARAM_VALUE 5 type 2
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
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
HALF_LOCKED2 rcu_read
HALF_LOCKED2 4 &__dnode->lock