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() -> (struct tipc_media)->send_msg()
| 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_len | 0-4294967295 |
| PARAM_VALUE | 1 | skb->end | 0-4294967295 |
| PARAM_VALUE | 1 | skb->len | 0-4294967295 |
| PARAM_VALUE | 1 | skb->tail | 0-4294967295 |
| PARAM_VALUE | 1 | skb->truesize | 0-4294967295 |
| PARAM_VALUE | 1 | *skb->data->hdr | 0-4294967295 |
| PARAM_VALUE | 2 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | b->media | 4096-ptr_max |
| PARAM_VALUE | 3 | dest | 88,4096-ptr_max |
| BUF_SIZE | 3 | dest | 34 |
| CAPPED_DATA | 0 | net->gen | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 2 | b | r bearer_get |
| CONTAINER | 2 | -0-80+0 | $(-1) |
| CONTAINER | 3 | -0-80+88 | $(-1) |
| PARAM_COMPARE | 2 | &b->bcast_addr | == $3 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &n->lock |
net/tipc/bearer.c tipc_bearer_xmit() -> (struct tipc_media)->send_msg()
| 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_len | 0-4294967295 |
| PARAM_VALUE | 1 | skb->end | 0-4294967295 |
| PARAM_VALUE | 1 | skb->len | 0-4294967295 |
| PARAM_VALUE | 1 | skb->tail | 0-4294967295 |
| PARAM_VALUE | 1 | skb->truesize | 0-4294967295 |
| PARAM_VALUE | 2 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | b->media | 4096-ptr_max |
| PARAM_VALUE | 3 | dest | 0,4096-ptr_max |
| BUF_SIZE | 3 | dest | (-1),34 |
| BUF_SIZE | 3 | dest | (-1),34 |
| CAPPED_DATA | 0 | net->gen | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 2 | b | r bearer_get |
| DATA_SOURCE | 3 | dest | $3 |
| CONTAINER | 2 | -0-80+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &__dnode->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/tipc/bearer.c tipc_bearer_xmit_skb() -> (struct tipc_media)->send_msg()
| 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_len | 0-4294967295 |
| PARAM_VALUE | 1 | skb->end | 0-4294967295 |
| PARAM_VALUE | 1 | skb->len | 0-4294967295 |
| PARAM_VALUE | 1 | skb->tail | 0-4294967295 |
| PARAM_VALUE | 1 | skb->truesize | 0-4294967295 |
| PARAM_VALUE | 2 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | b->media | 4096-ptr_max |
| PARAM_VALUE | 3 | dest | 4096-ptr_max |
| BUF_SIZE | 1 | skb | (-1)-s32max |
| BUF_SIZE | 1 | skb | (-1)-s32max |
| CAPPED_DATA | 0 | net->gen | 1 |
| CAPPED_DATA | 1 | skb | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | skb | $2 |
| DATA_SOURCE | 2 | b | r bearer_get |
| DATA_SOURCE | 3 | dest | $3 |
| CONTAINER | 2 | -0-80+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &rtnl_mutex |
net/tipc/crypto.c tipc_aead_encrypt_done() -> (struct tipc_media)->send_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->cb | 4096-ptr_max |
| PARAM_VALUE | 2 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | b->media | 4096-ptr_max |
| PARAM_VALUE | 3 | dest | 4096-ptr_max |
| BUF_SIZE | 1 | skb | 1-s32max |
| BUF_SIZE | 1 | skb | 1-s32max |
| DATA_SOURCE | 1 | skb | $0 |
| CONTAINER | 2 | -0-80+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | bh |
net/tipc/crypto.c tipc_crypto_clone_msg() -> (struct tipc_media)->send_msg()
| 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 | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->cb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->data_len | 0-4294967295 |
| PARAM_VALUE | 1 | skb->end | 0-4294967295 |
| PARAM_VALUE | 1 | skb->len | 0-4294967295 |
| PARAM_VALUE | 1 | skb->tail | 0-4294967295 |
| PARAM_VALUE | 1 | skb->truesize | 0-4294967295 |
| PARAM_VALUE | 2 | b | 4096-ptr_max |
| PARAM_VALUE | 2 | b->media | 4096-ptr_max |
| BUF_SIZE | 1 | skb | (-1),240 |
| BUF_SIZE | 1 | skb | (-1),240 |
| BUF_SIZE | 3 | dest | (-1),34 |
| BUF_SIZE | 3 | dest | (-1),34 |
| CAPPED_DATA | 0 | net->gen | 1 |
| CAPPED_DATA | 1 | skb | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | skb | r skb_clone |
| DATA_SOURCE | 2 | b | $2 |
| DATA_SOURCE | 3 | dest | $3 |
| CONTAINER | 2 | -0-80+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &__dnode->lock | ||
| HALF_LOCKED2 | rcu_read |