Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/dvb-core/dvb_ca_en50221.c dvb_ca_private_free() -> dvb_device_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ca->remove_mutex

drivers/media/dvb-core/dvbdev.c dvb_device_open() -> dvb_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 4096-ptr_max
PARAM_VALUE 0 dvbdev->fops 4096-ptr_max
PARAM_VALUE 0 dvbdev->fops->owner 0,4096-ptr_max
PARAM_VALUE 0 dvbdev->fops->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 dvbdev->fops->owner->state 0-1,3-u32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dvbdev.c dvb_generic_release() -> dvb_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 4096-ptr_max
BUF_SIZE 0 dvbdev (-1),26,232
BUF_SIZE 0 dvbdev (-1),26,232
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ca->remove_mutex
HALF_LOCKED2 &dvbnet->remove_mutex

drivers/media/dvb-core/dvbdev.c dvb_remove_device() -> dvb_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 4096-ptr_max
DATA_SOURCE 0 dvbdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &minor_rwsem
HALF_LOCKED2 global &frontend_mutex

drivers/media/dvb-core/dvbdev.c dvb_unregister_device() -> dvb_device_put()

Type Parameter Key Value
PARAM_VALUE 0 dvbdev 0,4096-ptr_max
PARAM_VALUE 0 dvbdev->adapter->conn 0
PARAM_VALUE 0 dvbdev->adapter->conn_pads 0
PARAM_VALUE 0 dvbdev->entity 0
PARAM_VALUE 0 dvbdev->intf_devnode 0
PARAM_VALUE 0 dvbdev->pads 0
PARAM_VALUE 0 dvbdev->tsout_entity 0
PARAM_VALUE 0 dvbdev->tsout_num_entities 0
PARAM_VALUE 0 dvbdev->tsout_pads 0
DATA_SOURCE 0 dvbdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dvb_frontend.c __dvb_frontend_free() -> dvb_device_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &frontend_mutex