devl_assert_locked identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/net/devlink.h, line 1640 (as a prototype)

Defined in 1 files as a function:

net/devlink/core.c, line 291 (as a function)

Referenced in 16 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/flower/main.c assert_nfp_app_locked() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock

drivers/net/ethernet/intel/ice/ice_main.c ice_load() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/intel/ice/ice_main.c ice_unload() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/devlink/core.c devl_is_registered() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_down	0,4096-ptr_max
DATA_SOURCE	0	devlink	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&devlink->lock
HALF_LOCKED2		global &pernet_ops_rwsem
TYPE_LOCK		(struct devlink)->lock

net/devlink/core.c devl_register() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_actions	0-7
PARAM_VALUE	0	devlink->ops->reload_down	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_limits	0-3
PARAM_VALUE	0	devlink->ops->reload_up	0,4096-ptr_max
BUF_SIZE	0	devlink->_net.net	(-1),10624
CAPPED_DATA	0	devlink	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &shd_mutex
HALF_LOCKED2	0	&devlink->lock

net/devlink/core.c devl_unregister() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2		global &rtnl_mutex
HALF_LOCKED2		global &shd_mutex
HALF_LOCKED2	0	&devlink->lock

net/devlink/core.c devlink_nested_in_get_lock() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
PARAM_VALUE	0	devlink->ops	4096-ptr_max
PARAM_VALUE	0	devlink->ops->supported_cross_device_rate_nodes	1
DATA_SOURCE	0	devlink	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock

drivers/net/ethernet/mellanox/mlx5/core/esw/qos.c esw_assert_qos_lock_held() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/netronome/nfp/nfp_net_main.c nfp_net_refresh_port_table_sync() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
DATA_SOURCE	0	devlink	r priv_to_devlink
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock

net/devlink/param.c devl_is_registered() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink->ops->reload_down	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_up	0,4096-ptr_max
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2	0	&devlink->lock

net/devlink/param.c devl_param_driverinit_value_set() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
CAPPED_DATA	0	devlink	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2	0	&devlink->lock

net/devlink/region.c devl_region_create() -> devl_assert_locked()

Type	Parameter	Key	Value
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&adapter->devlink->lock
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2	0	&devlink->lock

net/devlink/region.c devl_region_destroy() -> devl_assert_locked()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&adapter->devlink->lock
HALF_LOCKED2		&devlink->lock

drivers/net/ethernet/mellanox/mlx4/main.c mlx4_load_one() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
DATA_SOURCE	0	devlink	r priv_to_devlink
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&persist->interface_state_mutex

drivers/net/ethernet/mellanox/mlx4/main.c mlx4_unload_one() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
DATA_SOURCE	0	devlink	r priv_to_devlink
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&persist->interface_state_mutex

net/devlink/netlink.c devl_is_registered() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	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.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	devlink->lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	devlink->ops->sb_pool_get	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->sb_port_pool_get	0,5080524251109040128,5500329137182081024,8058848025358356480
PARAM_VALUE	0	devlink->ops->sb_tc_pool_bind_get	0,557608487823060992,7803434078078054400,8622157503094607872
PARAM_VALUE	0	devlink->ops->selftest_check	0,8032679069814992896
CAPPED_DATA	0	devlink->_net.net	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&devlink->lock
TYPE_LOCK		(struct devlink)->lock

drivers/net/ethernet/mellanox/mlx5/core/main.c mlx5_load_one_devl_locked() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock

drivers/net/ethernet/mellanox/mlx5/core/main.c mlx5_unload_one_devl_locked() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock

net/devlink/trap.c devl_is_registered() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_down	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_up	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->trap_action_set	0,262488898109276160,1231087875314417664,2819781707232804864,3957294255593287680,5660707409600446464
PARAM_VALUE	0	devlink->ops->trap_fini	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->trap_group_init	0,4370573782860898304
PARAM_VALUE	0	devlink->ops->trap_init	0,621084343245131776,820864369514713088,1114326007562944512,8379681212193501184,8548560371378245632
PARAM_VALUE	0	devlink->ops->trap_policer_init	0,2839869192359178240
BUF_SIZE	0	devlink->_net.net	(-1),10624
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2	0	&devlink->lock

net/devlink/trap.c devl_trap_groups_register() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
CAPPED_DATA	0	devlink	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->intf_state_mutex
HALF_LOCKED2	0	&devlink->lock

net/devlink/trap.c devl_trap_groups_unregister() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
PARAM_VALUE	0	devlink->ops->trap_group_init	0,4370573782860898304
CAPPED_DATA	0	devlink	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->intf_state_mutex
HALF_LOCKED2	0	&devlink->lock

net/devlink/trap.c devl_trap_policers_register() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
CAPPED_DATA	0	devlink	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2	0	&devlink->lock

net/devlink/trap.c devl_trap_policers_unregister() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
CAPPED_DATA	0	devlink	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2	0	&devlink->lock

net/devlink/trap.c devl_traps_register() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
PARAM_VALUE	0	devlink->ops	4096-ptr_max
PARAM_VALUE	0	devlink->ops->trap_action_set	262488898109276160,1231087875314417664,2819781707232804864,3957294255593287680,5660707409600446464
PARAM_VALUE	0	devlink->ops->trap_group_init	0,4370573782860898304
PARAM_VALUE	0	devlink->ops->trap_init	621084343245131776,820864369514713088,1114326007562944512,8379681212193501184,8548560371378245632
CAPPED_DATA	0	devlink	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->intf_state_mutex
HALF_LOCKED2	0	&devlink->lock

net/devlink/trap.c devl_traps_unregister() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
PARAM_VALUE	0	devlink->ops->trap_group_init	0,4370573782860898304
CAPPED_DATA	0	devlink	1
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->intf_state_mutex
HALF_LOCKED2	0	&devlink->lock

net/devlink/health.c devl_health_reporter_create() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink->ops->trap_group_init	0,4370573782860898304
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2	0	&devlink->lock

net/devlink/health.c devl_health_reporter_destroy() -> devl_assert_locked()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&dl->lock

net/devlink/health.c devl_port_health_reporter_create() -> devl_assert_locked()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&esw->offloads.reps_lock

net/devlink/rate.c devl_is_registered() -> devl_assert_locked()

Type	Parameter	Key	Value
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/devlink/rate.c devl_rate_leaf_create() -> devl_assert_locked()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&esw->offloads.reps_lock

net/devlink/rate.c devl_rate_leaf_destroy() -> devl_assert_locked()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&pf->vfs.table_lock

net/devlink/rate.c devl_rate_lock() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink->ops->eswitch_mode_set	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->rate_node_del	0,1288881180212264960,5511336031576576000,8287067794582441984
PARAM_VALUE	0	devlink->ops->rate_node_new	0,1856378281611169792,5371129506061082624,8877245127354101760
PARAM_VALUE	0	devlink->ops->reload_down	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_up	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->sb_pool_get	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->sb_port_pool_get	0,5080524251109040128,5500329137182081024,8058848025358356480
PARAM_VALUE	0	devlink->ops->sb_tc_pool_bind_get	0,557608487823060992,7803434078078054400,8622157503094607872
PARAM_VALUE	0	devlink->ops->selftest_check	0,8032679069814992896
BUF_SIZE	0	devlink->_net.net	(-1),10624
DATA_SOURCE	0	devlink	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2	0	&devlink->lock

net/devlink/rate.c devl_rate_nodes_destroy() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&esw->offloads.reps_lock
HALF_LOCKED2	0	&devlink->lock

net/devlink/dev.c devl_is_registered() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink->ops->flash_update	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->info_get	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_down	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->reload_up	0,4096-ptr_max
PARAM_VALUE	0	devlink->ops->supported_flash_update_params	0-1
BUF_SIZE	0	devlink	s32min-(-1),1-s32max
BUF_SIZE	0	devlink	s32min-(-1),1-s32max
BUF_SIZE	0	devlink->_net.net	(-1),10624
DATA_SOURCE	0	devlink	$0
STR_LEN	0	devlink	(-1),7-18,23,31-33,41,45,49,58,63,106,127
STR_LEN	0	devlink	(-1),7-18,23,31-33,41,45,49,58,63,106,127
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2	0	&devlink->lock

drivers/net/ethernet/mellanox/mlx5/core/dev.c mlx5_attach_device() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&dev->intf_state_mutex
HALF_LOCKED2		&devlink->lock
TYPE_LOCK		(struct mlx5_core_dev)->intf_state_mutex

drivers/net/ethernet/mellanox/mlx5/core/dev.c mlx5_detach_device() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&dev->intf_state_mutex
HALF_LOCKED2		&devlink->lock
TYPE_LOCK		(struct mlx5_core_dev)->intf_state_mutex

drivers/net/ethernet/mellanox/mlx5/core/dev.c mlx5_register_device() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&dev->intf_state_mutex
HALF_LOCKED2		&devlink->lock
TYPE_LOCK		(struct mlx5_core_dev)->intf_state_mutex

drivers/net/ethernet/mellanox/mlx5/core/dev.c mlx5_unregister_device() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&dev->intf_state_mutex
HALF_LOCKED2		&devlink->lock
TYPE_LOCK		(struct mlx5_core_dev)->intf_state_mutex

net/devlink/port.c devl_port_register_with_ops() -> devl_assert_locked()

Type	Parameter	Key	Value
DATA_SOURCE	0	devlink	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&adapter->devlink->lock
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&esw->offloads.reps_lock
HALF_LOCKED2	0	&devlink->lock

drivers/net/ethernet/mellanox/mlx5/core/eswitch.c mlx5_eswitch_disable() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&dev->intf_state_mutex
HALF_LOCKED2		&devlink->lock
TYPE_LOCK		(struct mlx5_core_dev)->intf_state_mutex

drivers/net/ethernet/mellanox/mlx5/core/eswitch.c mlx5_eswitch_disable_sriov() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->intf_state_mutex
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pdev->dev.mutex
HALF_LOCKED2		global &pci_rescan_remove_lock

drivers/net/ethernet/mellanox/mlx5/core/eswitch.c mlx5_eswitch_enable() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->intf_state_mutex
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pdev->dev.mutex
HALF_LOCKED2		global &pci_rescan_remove_lock

drivers/net/ethernet/mellanox/mlx5/core/eswitch.c mlx5_eswitch_enable_locked() -> devl_assert_locked()

Type	Parameter	Key	Value
PARAM_VALUE	0	devlink	4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&esw->offloads.reps_lock
HALF_LOCKED2		&devlink->lock
TYPE_LOCK		(struct mlx5_esw_offload)->reps_lock