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 pipe_buf_operations)->release:

net/smc/smc_rx.c (null)() -> (struct pipe_buf_operations)->release [9166666166850953216]

fs/splice.c (null)() -> (struct pipe_buf_operations)->release [5863207018539536384,7821053649176043520]

mm/shmem.c (null)() -> (struct pipe_buf_operations)->release [3047606781476241408]

fs/pipe.c (null)() -> (struct pipe_buf_operations)->release [1883752268631240704]

kernel/watch_queue.c (null)() -> (struct pipe_buf_operations)->release [7918188397467078656]

kernel/trace/trace.c (null)() -> (struct pipe_buf_operations)->release [2358268516852768768]