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 bearer_disable() -> tipc_bearer_put()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->disc 0,4096-ptr_max
PARAM_VALUE 0 b->disc->rcu.next 0
PARAM_VALUE 0 b->disc->timer.entry.pprev 0
PARAM_VALUE 0 b->disc->timer.flags 0-4194302
PARAM_VALUE 0 b->disc->timer.function 0
PARAM_VALUE 0 b->media 4096-ptr_max
PARAM_VALUE 0 b->media->disable_media 4096-ptr_max
PARAM_VALUE 0 b->media->hwaddr_len 0,6,20
PARAM_VALUE 0 b->media->type_id 1-3
PARAM_VALUE 0 b->media_ptr 0
BUF_SIZE 0 b (-1),280
BUF_SIZE 0 b (-1),280
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex

net/tipc/crypto.c tipc_aead_decrypt() -> tipc_bearer_put()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->refcnt.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 b $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

net/tipc/crypto.c tipc_aead_decrypt() -> tipc_bearer_put()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->refcnt.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 b $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

net/tipc/crypto.c tipc_aead_decrypt_done() -> tipc_bearer_put()

Type Parameter Key Value
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->kv->bits 1-255
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->kv->key 0-4294967295
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->kv->pos 0-254
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->kv->slen 1-255
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->stats->backtrack 0-4294967295
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->stats->gets 0-4294967295
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->stats->null_node_hit 0-4294967295
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->stats->semantic_match_miss 0-4294967295
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_data->stats->semantic_match_passed 0-4294967295
PARAM_VALUE 0 b->disc->net->ipv4.fib_main->tb_id 0-4294967295
PARAM_VALUE 0 b->entry.pprev 0
PARAM_VALUE 0 *b->addr.value 0-255
PARAM_VALUE 0 *b->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh

net/tipc/crypto.c tipc_aead_encrypt() -> tipc_bearer_put()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->refcnt.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 b $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &__dnode->lock
HALF_LOCKED2 rcu_read

net/tipc/crypto.c tipc_aead_encrypt() -> tipc_bearer_put()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->refcnt.refs.counter (-1073741824),0-s32max
DATA_SOURCE 0 b $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &__dnode->lock
HALF_LOCKED2 rcu_read

net/tipc/crypto.c tipc_aead_encrypt_done() -> tipc_bearer_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh