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_rcv() -> disc_dupl_alert()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->disc 4096-ptr_max
PARAM_VALUE 0 b->disc->net 4096-ptr_max
PARAM_VALUE 0 b->disc->net->gen 4096-ptr_max
PARAM_VALUE 0 b->media 4096-ptr_max
PARAM_VALUE 0 *b->name 0-255
PARAM_VALUE 2 media_addr 4083192509511262208
PARAM_VALUE 2 media_addr->media_id 1-3
CAPPED_DATA 0 b->disc->net->gen 1
DATA_SOURCE 0 b $2
DATA_SOURCE 1 node_addr r tipc_own_addr
MEM_ZERO 2 media_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

net/tipc/discover.c tipc_disc_rcv() -> disc_dupl_alert()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->disc 4096-ptr_max
PARAM_VALUE 0 b->disc->net 4096-ptr_max
PARAM_VALUE 0 b->disc->net->gen 4096-ptr_max
PARAM_VALUE 0 b->media 4096-ptr_max
PARAM_VALUE 0 *b->name 0-255
PARAM_VALUE 1 node_addr 1-u32max
PARAM_VALUE 2 media_addr 4083192509511262208
PARAM_VALUE 2 media_addr->media_id 1-3
CAPPED_DATA 0 b->disc->net->gen 1
CAPPED_DATA 0 b->domain 1
CAPPED_DATA 1 node_addr 1
DATA_SOURCE 0 b $2
DATA_SOURCE 1 node_addr r msg_prevnode
PARAM_COMPARE 0 b->domain <= $1
PARAM_COMPARE 1 node_addr >= $0->domain
NOSPEC 1 node_addr
NOSPEC 1 node_addr
MEM_ZERO 2 media_addr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 node_addr 1-u32max[c]
HALF_LOCKED2 rcu_read