Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/rtnetlink.c rtnl_newlink() -> rtnl_nets_destroy()

Type Parameter Key Value
PARAM_VALUE 0 rtnl_nets 3044920662567292928
PARAM_VALUE 0 rtnl_nets->len 0-4
MEM_ZERO 0 rtnl_nets
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex

net/core/rtnetlink.c rtnl_setlink() -> rtnl_nets_destroy()

Type Parameter Key Value
PARAM_VALUE 0 rtnl_nets 8256826609401270272
PARAM_VALUE 0 rtnl_nets->len 0-2
MEM_ZERO 0 rtnl_nets
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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 &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex