Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/discover.c tipc_disc_create() -> tipc_disc_init_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_data->stats->semantic_match_passed 0-4294967295
PARAM_VALUE 0 net->ipv4.fib_main->tb_id 0-4294967295
PARAM_VALUE 0 net->loopback_dev->refcnt_tracker.list.next->prev 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 2 mtyp 0
PARAM_VALUE 3 b 4096-ptr_max
PARAM_VALUE 3 b->addr->value 0-255
PARAM_VALUE 3 b->addr.broadcast 0-1
PARAM_VALUE 3 b->addr.media_id 1-3
PARAM_VALUE 3 b->bcast_addr.broadcast 1-2
PARAM_VALUE 3 b->bcast_addr.media_id 1-3
PARAM_VALUE 3 b->identity 0-2
PARAM_VALUE 3 b->media 4096-ptr_max
PARAM_VALUE 3 b->media->hwaddr_len 0,6,20
PARAM_VALUE 3 b->media->type_id 1-3
PARAM_VALUE 3 b->media_ptr 4096-ptr_max
PARAM_VALUE 3 b->min_win 50
PARAM_VALUE 3 b->net_plane 65-67
PARAM_VALUE 3 b->refcnt.refs.counter 1
PARAM_VALUE 3 *b->name 0-255
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 3 b 280
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 skb r tipc_buf_acquire
DATA_SOURCE 3 b $1
MEM_ZERO 3 &b->addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
USER_PTR 1 skb->data
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/tipc/discover.c tipc_disc_msg_xmit() -> tipc_disc_init_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 4096-ptr_max
PARAM_VALUE 1 skb->data_len 0
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 2 mtyp 1,3
PARAM_VALUE 3 b 4096-ptr_max
PARAM_VALUE 3 b->media 4096-ptr_max
PARAM_VALUE 3 *b->name 0-255
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 skb r tipc_buf_acquire
DATA_SOURCE 2 mtyp $1
DATA_SOURCE 3 b $6
HARD_MAX 2 mtyp 3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 net unit_byte
HALF_LOCKED2 rcu_read

net/tipc/discover.c tipc_disc_reset() -> tipc_disc_init_msg()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 2 mtyp 0
PARAM_VALUE 3 b 4096-ptr_max
PARAM_VALUE 3 b->disc 4096-ptr_max
PARAM_VALUE 3 b->disc->lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 0 net $0
DATA_SOURCE 3 b $1
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 0 net unit_byte
LOCK2 &d->lock
LOCK2 bh
TYPE_LOCK (struct tipc_discoverer)->lock