Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/devlink/region.c devlink_nl_region_new_doit() -> __devlink_snapshot_id_decrement()

Type Parameter Key Value
PARAM_VALUE 0 devlink 4096-ptr_max
PARAM_VALUE 0 devlink->snapshot_ids.xa_flags 4-u32max
PARAM_VALUE 0 devlink->snapshot_ids.xa_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &region->snapshot_lock
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
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 &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct devlink_region)->snapshot_lock

net/devlink/region.c devlink_region_snapshot_del() -> __devlink_snapshot_id_decrement()

Type Parameter Key Value
PARAM_VALUE 0 devlink 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &region->snapshot_lock
HALF_LOCKED2 &devlink->lock
TYPE_LOCK (struct devlink_region)->snapshot_lock

net/devlink/region.c devlink_region_snapshot_id_put() -> __devlink_snapshot_id_decrement()

Type Parameter Key Value
PARAM_VALUE 0 devlink 4096-ptr_max
PARAM_VALUE 0 devlink->snapshot_ids.xa_flags 4-u32max
PARAM_VALUE 0 devlink->snapshot_ids.xa_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 devlink $0
DATA_SOURCE 1 id $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &persist->device_state_mutex