Defined in 2 files as a member:

Defined in 4 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/media/pci/saa7164/saa7164-core.c saa7164_dev_setup() -> release_resources()

Type Parameter Key Value
PARAM_VALUE 0 dice 4096-ptr_max
PARAM_VALUE 0 dice->board 0-13
PARAM_VALUE 0 dice->devlist.next 7149121536258408448
PARAM_VALUE 0 dice->devlist.prev 4096-ptr_max
PARAM_VALUE 0 dice->i2c_bus 4096-ptr_max
PARAM_VALUE 0 dice->lmmio 0
PARAM_VALUE 0 dice->lmmio2 0
PARAM_VALUE 0 dice->lock.dep_map->name 0-255
PARAM_VALUE 0 dice->lock.first_waiter 0
PARAM_VALUE 0 dice->lock.magic 4096-ptr_max
PARAM_VALUE 0 dice->lock.osq.tail.counter 0
PARAM_VALUE 0 dice->lock.owner.counter 0
PARAM_VALUE 0 dice->pci 4096-ptr_max
PARAM_VALUE 0 dice->pci->bus 4096-ptr_max
PARAM_VALUE 0 dice->pci->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 dice->pci->dev.class 0,4096-ptr_max
PARAM_VALUE 0 dice->pci->dev.driver 0,4096-ptr_max
PARAM_VALUE 0 dice->pci->dev.driver_data 1-u64max
PARAM_VALUE 0 dice->pci->driver 4096-ptr_max
PARAM_VALUE 0 dice->pci_bus 0-255
PARAM_VALUE 0 dice->pci_slot 0-31
PARAM_VALUE 0 dice->v4l2_dev->name 0-255
PARAM_VALUE 0 dice->v4l2_dev.dev 4096-ptr_max
PARAM_VALUE 0 dice->v4l2_dev.ref.refcount.refs.counter 1
PARAM_VALUE 0 dice->v4l2_dev.subdevs.next 4096-ptr_max
PARAM_VALUE 0 dice->v4l2_dev.subdevs.next->next 4096-ptr_max
PARAM_VALUE 0 dice->v4l2_dev.subdevs.prev 4096-ptr_max
PARAM_VALUE 0 dice->v4l2_dev.subdevs.prev->next 4096-ptr_max
PARAM_VALUE 0 dice->v4l2_dev.subdevs.prev->prev 4096-ptr_max
BUF_SIZE 0 dice 138600
BUF_SIZE 0 dice->pci (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 dice $0
FUZZY_MAX 0 dice->board 0
STR_LEN 0 dice->name 15
MEM_ZERO 0 &dice->v4l2_dev.prio
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dice->pci->current_state 0-3[c]
LOCK2 _T->lock

drivers/media/pci/saa7164/saa7164-core.c saa7164_dev_unregister() -> release_resources()

Type Parameter Key Value
PARAM_VALUE 0 dice 4096-ptr_max
PARAM_VALUE 0 *dice->name 0-255
BUF_SIZE 0 dice s32min-(-2),1-s32max
BUF_SIZE 0 dice s32min-(-2),1-s32max
BUF_SIZE 0 dice->pci (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
CAPPED_DATA 0 dice 1
DATA_SOURCE 0 dice $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dice->pci->current_state 0-3[c]
HOST_DATA 0 dice->pci_lat 0
UNITS 0 dice unit_byte

drivers/mtd/nand/raw/gpmi-nand/gpmi-nand.c gpmi_nand_probe() -> release_resources()

Type Parameter Key Value
PARAM_VALUE 0 dice 4096-ptr_max
PARAM_VALUE 0 dice->auxiliary_virt 0-ptr_max
PARAM_VALUE 0 dice->base.lock.first_waiter 0
PARAM_VALUE 0 dice->base.lock.magic 0
PARAM_VALUE 0 dice->base.lock.osq.tail.counter 0
PARAM_VALUE 0 dice->base.lock.owner.counter 0
PARAM_VALUE 0 dice->base.ops 0
PARAM_VALUE 0 dice->base.ops->attach_chip 0,4096-ptr_max
PARAM_VALUE 0 dice->base.ops->detach_chip 0,1583562752288423936,3324054136611635200,3528536973807566848,4326869451060441088,7679234560064159744
PARAM_VALUE 0 dice->base.ops->exec_op 0,4096-ptr_max
PARAM_VALUE 0 dice->base.ops->setup_interface 0,4096-ptr_max
PARAM_VALUE 0 dice->bch_geometry.auxiliary_size 0,128
PARAM_VALUE 0 dice->bch_geometry.payload_size 0,1024
PARAM_VALUE 0 dice->data_buffer_dma 0
PARAM_VALUE 0 dice->dev 4096-ptr_max
PARAM_VALUE 0 dice->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dice->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dice->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dice->dev->devres_head.prev 0,4096-ptr_max
PARAM_VALUE 0 dice->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 dice->dev->driver_data 0,4096-ptr_max
PARAM_VALUE 0 dice->dev->power.request 0-4
PARAM_VALUE 0 dice->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dice->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dice->dev->type 0,4096-ptr_max
PARAM_VALUE 0 dice->nand.badblock_pattern 0,2446172577659224064
PARAM_VALUE 0 dice->nand.bbt 0
PARAM_VALUE 0 dice->nand.bbt_md 0
PARAM_VALUE 0 dice->nand.bbt_td 0
PARAM_VALUE 0 dice->nand.legacy.block_markbad 0,205980785994760192
PARAM_VALUE 0 dice->nand.options 0,512
PARAM_VALUE 0 dice->pdev 4096-ptr_max
PARAM_VALUE 0 dice->pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dice->pdev->dev.driver 4096-ptr_max
PARAM_VALUE 0 dice->pdev->dev.driver_data 4096-ptr_max
PARAM_VALUE 0 dice->raw_buffer 0
PARAM_VALUE 0 dice->rom_geometry.stride_size_in_pages 0
BUF_SIZE 0 dice 4784
BUF_SIZE 0 dice->dev 1616
DATA_SOURCE 0 dice r devm_kzalloc
FUZZY_MAX 0 dice->bch_geometry.auxiliary_size 0
FUZZY_MAX 0 dice->bch_geometry.payload_size 0
FUZZY_MAX 0 dice->dev->power.request 0
FUZZY_MAX 0 dice->dev->power.runtime_error 0
FUZZY_MAX 0 dice->nand.options 0
MEM_ZERO 0 dice
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/nand/raw/gpmi-nand/gpmi-nand.c gpmi_nand_remove() -> release_resources()

Type Parameter Key Value
PARAM_VALUE 0 dice 4096-ptr_max
PARAM_VALUE 0 dice->auxiliary_virt->_refcount.counter s32min-s32max
PARAM_VALUE 0 dice->auxiliary_virt->memcg_data 0
PARAM_VALUE 0 dice->auxiliary_virt->page_type 0-4294967295
PARAM_VALUE 0 dice->data_buffer_dma 0
PARAM_VALUE 0 dice->dev->cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dice->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dice->dev->dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dice->nand.badblock_pattern 0,4096-ptr_max
PARAM_VALUE 0 dice->nand.controller 4096-ptr_max
PARAM_VALUE 0 dice->nand.manufacturer.priv 0
PARAM_VALUE 0 dice->nand.priv->dmabuf->_refcount.counter s32min-s32max
PARAM_VALUE 0 dice->nand.priv->dmabuf->page_type 0-4294967295
PARAM_VALUE 0 dice->nand.priv->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dice->raw_buffer 0
BUF_SIZE 0 dice s32min-(-2),1-s32max
BUF_SIZE 0 dice s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dice unit_byte
HALF_LOCKED2 &_dev->mutex

sound/firewire/dice/dice-stream.c snd_dice_stream_reserve_duplex() -> release_resources()

Type Parameter Key Value
PARAM_VALUE 0 dice 4096-ptr_max
PARAM_VALUE 0 dice->domain.events_per_period 0
PARAM_VALUE 0 dice->domain.irq_target 0
PARAM_VALUE 0 dice->global_enabled 0
PARAM_VALUE 0 dice->unit 4096-ptr_max
BUF_SIZE 0 dice s32min-(-2),1-s32max
BUF_SIZE 0 dice s32min-(-2),1-s32max
DATA_SOURCE 0 dice $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dice unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &runtime->buffer_mutex

sound/firewire/dice/dice-stream.c snd_dice_stream_reserve_duplex() -> release_resources()

Type Parameter Key Value
PARAM_VALUE 0 dice 4096-ptr_max
PARAM_VALUE 0 dice->clock_accepted.done 0-4294967293,u32max
PARAM_VALUE 0 dice->clock_accepted.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 dice->clock_accepted.wait.lock.owner (-1)
PARAM_VALUE 0 dice->clock_accepted.wait.lock.owner_cpu u32max
PARAM_VALUE 0 dice->clock_accepted.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dice->clock_accepted.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dice->domain.irq_target 0
PARAM_VALUE 0 dice->global_enabled 0
PARAM_VALUE 0 dice->unit 4096-ptr_max
BUF_SIZE 0 dice s32min-(-2),1-s32max
BUF_SIZE 0 dice s32min-(-2),1-s32max
DATA_SOURCE 0 dice $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dice unit_byte
LOCK2 _T->lock
HALF_LOCKED2 &runtime->buffer_mutex

sound/firewire/dice/dice-stream.c snd_dice_stream_stop_duplex() -> release_resources()

Type Parameter Key Value
PARAM_VALUE 0 dice 4096-ptr_max
PARAM_VALUE 0 dice->domain.events_per_period 0
PARAM_VALUE 0 dice->domain.irq_target 0
PARAM_VALUE 0 dice->substreams_counter 0
PARAM_VALUE 0 dice->unit 4096-ptr_max
BUF_SIZE 0 dice s32min-(-2),1-s32max
BUF_SIZE 0 dice s32min-(-2),1-s32max
DATA_SOURCE 0 dice $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dice unit_byte
LOCK2 _T->lock