Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/rtnetlink.c rtnl_net_lock_cmp_fn() -> rtnl_net_cmp_locks()

Type Parameter Key Value
PARAM_VALUE 0 net_a 4096-ptr_max
PARAM_VALUE 1 net_b 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

net/core/rtnetlink.c rtnl_nets_add() -> rtnl_net_cmp_locks()

Type Parameter Key Value
BUF_SIZE 1 net_b (-1),10304,10432
BUF_SIZE 1 net_b (-1),10304,10432
DATA_SOURCE 1 net_b $1 [m]
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
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