Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/base/devres.c devm_action_release() -> (struct action_devres)->action()

Type Parameter Key Value
CONTAINER 0 *(-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &pool->lock

drivers/base/devres.c devm_release_action() -> (struct action_devres)->action()

Type Parameter Key Value
CAPPED_DATA 0 data 1
CONTAINER 0 *(-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cxl_nvb->dev.mutex
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &parent_port->dev.mutex
HALF_LOCKED2 global &dax_dev_rwsem
HALF_LOCKED2 global &dax_region_rwsem
HALF_LOCKED2 global &drm_bridge_unplug_srcu