Defined in 162 files as a member:

Defined in 7 files as a function:

Referenced in 2202 files:

Smatch caller information:

drivers/uio/uio.c uio_release() -> (struct uio_info)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->release 1-u64max
DATA_SOURCE 1 inode $0
CONTAINER 0 *(-632+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 inode->i_blkbits
NO_OVERFLOW_SIMPLE 1 inode->i_ino
NO_OVERFLOW_SIMPLE 1 inode->i_linklen
NO_OVERFLOW_SIMPLE 1 inode->i_size
LOCK2 &idev->info_lock
TYPE_LOCK (struct uio_device)->info_lock

drivers/media/v4l2-core/tuner-core.c tuner_detach() -> (struct dvb_tuner_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.tuner_ops.release 1-u64max
DATA_SOURCE 0 fe $0
CONTAINER 0 -152-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/tuners/tda8290.c tda829x_release() -> (struct dvb_tuner_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->analog_demod_priv 4096-ptr_max
PARAM_VALUE 0 fe->ops.tuner_ops.release 1-u64max
BUF_SIZE 0 fe (-1)-0,472,1296
BUF_SIZE 0 fe (-1)-0,472,1296
BUF_SIZE 0 fe->analog_demod_priv (-1),80
BUF_SIZE 0 fe->tuner_priv (-1)-0,2336
DATA_SOURCE 0 fe $0
CONTAINER 0 -152-408-8+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/mantis/mantis_dvb.c mantis_dvb_init() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.release 1-u64max
CONTAINER 0 *(-176-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/dm1105/dm1105.c frontend_init() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.release 1-u64max
PARAM_VALUE 0 fe->ops.set_voltage 7259023105856831488
CONTAINER 0 *(-176-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/cx18/cx18-dvb.c dvb_register() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->callback 3205871136973824000
PARAM_VALUE 0 fe->ops.release 1-u64max
CONTAINER 0 *(-176-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_probe() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.release 1-u64max
BUF_SIZE 0 fe (-1),1296
BUF_SIZE 0 fe (-1),1296
CONTAINER 0 *(-176-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/media/av7110/av7110.c frontend_init() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.release 1-u64max
PARAM_VALUE 0 fe->ops.tuner_ops.set_params 4099346450296143872
PARAM_VALUE 0 fe->tuner_priv 4096-ptr_max
BUF_SIZE 0 fe->tuner_priv 2336
CONTAINER 0 *(-176-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/pci/pluto2/pluto2.c frontend_init() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe->ops.release 1-u64max
PARAM_VALUE 0 fe->ops.tuner_ops.set_params 8957131202054811648
DATA_SOURCE 0 fe r tda10046_attach
CONTAINER 0 *(-176-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/au0828/au0828-dvb.c au0828_dvb_register() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->callback 8436075031896674304
PARAM_VALUE 0 fe->ops.release 1-u64max
CONTAINER 0 *(-176-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->lock
TYPE_LOCK (struct au0828_dev)->lock

drivers/media/usb/dvb-usb/cinergyT2-core.c cinergyt2_frontend_attach() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &d->data_mutex
TYPE_LOCK (struct dvb_usb_device)->data_mutex

drivers/media/pci/saa7164/saa7164-dvb.c saa7164_dvb_register() -> (struct dvb_frontend_ops)->release()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
PARAM_VALUE 0 fe->ops.release 1-u64max
CONTAINER 0 *(-176-8+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dvb_frontend.c dvb_frontend_invoke_release() -> dvb_frontend_invoke_release param 1()

Type Parameter Key Value
PARAM_VALUE 0 fe 4096-ptr_max
BUF_SIZE 0 fe (-1)-0,472,1296
BUF_SIZE 0 fe (-1)-0,472,1296
BUF_SIZE 0 fe->tuner_priv (-1)-0,2336
DATA_SOURCE 0 fe $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

Smatch assignments to (struct block_device_operations)->release:

drivers/nvdimm/pmem.c (null)() -> (struct block_device_operations)->release [0]

drivers/block/floppy.c (null)() -> (struct block_device_operations)->release [7847010469773258752]

drivers/block/zloop.c (null)() -> (struct block_device_operations)->release [0]

drivers/block/brd.c (null)() -> (struct block_device_operations)->release [0]

drivers/md/md.c (null)() -> (struct block_device_operations)->release [4252682687548981248]

drivers/mmc/core/block.c (null)() -> (struct block_device_operations)->release [4376911876562190336]

drivers/scsi/sd.c (null)() -> (struct block_device_operations)->release [8351432927619977216]

drivers/memstick/core/mspro_block.c (null)() -> (struct block_device_operations)->release [0]

drivers/memstick/core/ms_block.c (null)() -> (struct block_device_operations)->release [0]

drivers/block/rnbd/rnbd-clt.c (null)() -> (struct block_device_operations)->release [1167784249572306944]

drivers/block/drbd/drbd_main.c (null)() -> (struct block_device_operations)->release [7231890131422818304]

drivers/nvme/host/core.c (null)() -> (struct block_device_operations)->release [8579369254716375040]

drivers/mtd/ubi/block.c (null)() -> (struct block_device_operations)->release [4512056074371932160]

drivers/block/loop.c (null)() -> (struct block_device_operations)->release [2424060081378369536]

drivers/block/aoe/aoeblk.c (null)() -> (struct block_device_operations)->release [771584777883533312]

drivers/nvdimm/btt.c (null)() -> (struct block_device_operations)->release [0]

drivers/block/ublk_drv.c (null)() -> (struct block_device_operations)->release [0]

drivers/md/dm.c (null)() -> (struct block_device_operations)->release [0,1075500601500803072]

drivers/mtd/mtd_blkdevs.c (null)() -> (struct block_device_operations)->release [1137763471612723200]

drivers/block/null_blk/main.c (null)() -> (struct block_device_operations)->release [0]

drivers/block/zram/zram_drv.c (null)() -> (struct block_device_operations)->release [0]

drivers/block/rbd.c (null)() -> (struct block_device_operations)->release [4503469813635571712]

drivers/block/virtio_blk.c (null)() -> (struct block_device_operations)->release [0]

drivers/block/mtip32xx/mtip32xx.c (null)() -> (struct block_device_operations)->release [0]

drivers/block/xen-blkfront.c (null)() -> (struct block_device_operations)->release [0]

drivers/scsi/sr.c (null)() -> (struct block_device_operations)->release [5840523084822978560]

drivers/nvme/host/multipath.c (null)() -> (struct block_device_operations)->release [5556559162181353472]

drivers/md/bcache/super.c (null)() -> (struct block_device_operations)->release [6447641647566147584]

drivers/block/nbd.c (null)() -> (struct block_device_operations)->release [3485385204412145664]