Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 region 4096-ptr_max
PARAM_VALUE 0 region->devlink->lock.dep_map->name 0-255
PARAM_VALUE 0 region->devlink->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 region->devlink->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 region->devlink->lock.osq.tail.counter 0-s32max
BUF_SIZE 0 region (-1),224
BUF_SIZE 0 region (-1),224
DATA_SOURCE 0 region $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &devlink->lock
TYPE_LOCK (struct devlink)->lock

drivers/net/netdevsim/dev.c nsim_dev_dummy_region_exit() -> devl_region_destroy()

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

drivers/net/ethernet/intel/ixgbe/devlink/region.c ixgbe_devlink_destroy_regions() -> devl_region_destroy()

Type Parameter Key Value
PARAM_VALUE 0 region 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &adapter->devlink->lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct devlink)->lock

drivers/net/ethernet/intel/ixgbe/devlink/region.c ixgbe_devlink_destroy_regions() -> devl_region_destroy()

Type Parameter Key Value
PARAM_VALUE 0 region 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &adapter->devlink->lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct devlink)->lock

drivers/net/ethernet/intel/ixgbe/devlink/region.c ixgbe_devlink_destroy_regions() -> devl_region_destroy()

Type Parameter Key Value
PARAM_VALUE 0 region 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &adapter->devlink->lock
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct devlink)->lock

drivers/net/ethernet/mellanox/mlx4/crdump.c mlx4_crdump_end() -> devl_region_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &devlink->lock
TYPE_LOCK (struct devlink)->lock

drivers/net/ethernet/mellanox/mlx4/crdump.c mlx4_crdump_end() -> devl_region_destroy()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &devlink->lock
TYPE_LOCK (struct devlink)->lock

drivers/net/ethernet/intel/ice/devlink/devlink.c ice_devlink_destroy_regions() -> devl_region_destroy()

Type Parameter Key Value
PARAM_VALUE 0 region 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/net/ethernet/intel/ice/devlink/devlink.c ice_devlink_destroy_regions() -> devl_region_destroy()

Type Parameter Key Value
PARAM_VALUE 0 region 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/net/ethernet/intel/ice/devlink/devlink.c ice_devlink_destroy_regions() -> devl_region_destroy()

Type Parameter Key Value
PARAM_VALUE 0 region 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex