Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/devlink/dev.c devlink_compat_flash_update() -> devlink_flash_update_begin_notify()

Type Parameter Key Value
PARAM_VALUE 0 devlink 4096-ptr_max
PARAM_VALUE 0 devlink->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 devlink->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 devlink->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devlink->lock.dep_map->name 0-255
PARAM_VALUE 0 devlink->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 devlink->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 devlink->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 devlink->ops 4096-ptr_max
PARAM_VALUE 0 devlink->ops->flash_update 4096-ptr_max
DATA_SOURCE 0 devlink $0
NOCHECK_CALL
LOCK2 0 &devlink->lock
TYPE_LOCK (struct devlink)->lock

net/devlink/dev.c devlink_nl_flash_update_doit() -> devlink_flash_update_begin_notify()

Type Parameter Key Value
PARAM_VALUE 0 devlink 4096-ptr_max
PARAM_VALUE 0 devlink->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 devlink->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 devlink->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 devlink->ops 4096-ptr_max
PARAM_VALUE 0 devlink->ops->flash_update 4096-ptr_max
PARAM_VALUE 0 devlink->ops->info_get 0,4096-ptr_max
PARAM_VALUE 0 devlink->ops->supported_flash_update_params 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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