Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/udp_media.c tipc_udp_enable() -> tipc_udp_rcast_add()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->addr->value 0-255
PARAM_VALUE 0 b->addr.broadcast 0-1
PARAM_VALUE 0 b->addr.media_id 3
PARAM_VALUE 0 b->addr.value 0
PARAM_VALUE 0 b->bcast_addr.broadcast 1
PARAM_VALUE 0 b->bcast_addr.media_id 3
PARAM_VALUE 0 b->encap_hlen 28,48
PARAM_VALUE 0 b->media 4096-ptr_max
PARAM_VALUE 0 b->media_ptr 4096-ptr_max
PARAM_VALUE 1 addr 5921737454561533952
PARAM_VALUE 1 addr->proto 2048,34525
BUF_SIZE 0 b 280
DATA_SOURCE 0 b $1
FUZZY_MAX 0 b->encap_hlen 48
BIT_INFO 0 b->encap_hlen 0x10,0x3c
HARD_MAX 0 b->encap_hlen 48
MEM_ZERO 0 &b->addr
RX_PATH
TASK_NOT_RUNNING
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/udp_media.c tipc_udp_nl_bearer_add() -> tipc_udp_rcast_add()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 0 b->media 4096-ptr_max
PARAM_VALUE 0 b->media->type_id 3
PARAM_VALUE 1 addr 6927491835738275840
PARAM_VALUE 1 addr->proto 2048,34525
DATA_SOURCE 0 b $0
RX_PATH
TASK_NOT_RUNNING
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/udp_media.c tipc_udp_rcast_disc() -> tipc_udp_rcast_add()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 1 addr 6480709028621123584
PARAM_VALUE 1 addr->proto 2048,34525
DATA_SOURCE 0 b $0
RX_PATH
TASK_NOT_RUNNING