Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 23 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_adapter_exit() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
NOCHECK_CALL

drivers/media/pci/ngene/ngene-core.c release_channel() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/em28xx/em28xx-dvb.c em28xx_register_dvb() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
PARAM_VALUE 0 dvbnet->demux 4096-ptr_max
PARAM_VALUE 0 dvbnet->dvbdev 0,4096-ptr_max
PARAM_VALUE 0 dvbnet->ioctl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.first_waiter 0
PARAM_VALUE 0 dvbnet->remove_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.osq.tail.counter 0
PARAM_VALUE 0 dvbnet->remove_mutex.owner.counter 0
NOCHECK_CALL

drivers/media/usb/em28xx/em28xx-dvb.c em28xx_unregister_dvb() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &em28xx_devlist_mutex

drivers/media/pci/ttpci/budget-core.c budget_unregister() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/ddbridge/ddbridge-core.c dvb_input_detach() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/common/b2c2/flexcop.c flexcop_dvb_exit() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/mantis/mantis_dvb.c mantis_dvb_exit() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/mantis/mantis_dvb.c mantis_dvb_init() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
PARAM_VALUE 0 dvbnet->demux 4096-ptr_max
PARAM_VALUE 0 dvbnet->dvbdev 0,4096-ptr_max
PARAM_VALUE 0 dvbnet->ioctl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.first_waiter 0
PARAM_VALUE 0 dvbnet->remove_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.osq.tail.counter 0
PARAM_VALUE 0 dvbnet->remove_mutex.owner.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/dm1105/dm1105.c dm1105_probe() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
PARAM_VALUE 0 dvbnet->demux 4096-ptr_max
PARAM_VALUE 0 dvbnet->dvbdev 4096-ptr_max
PARAM_VALUE 0 dvbnet->ioctl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.first_waiter 0
PARAM_VALUE 0 dvbnet->remove_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.osq.tail.counter 0
PARAM_VALUE 0 dvbnet->remove_mutex.owner.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/dm1105/dm1105.c dm1105_remove() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/cx231xx/cx231xx-dvb.c register_dvb() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
PARAM_VALUE 0 dvbnet->demux 4096-ptr_max
PARAM_VALUE 0 dvbnet->dvbdev 0,4096-ptr_max
PARAM_VALUE 0 dvbnet->ioctl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.first_waiter 0
PARAM_VALUE 0 dvbnet->remove_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.osq.tail.counter 0
PARAM_VALUE 0 dvbnet->remove_mutex.owner.counter 0
NOCHECK_CALL

drivers/media/usb/cx231xx/cx231xx-dvb.c unregister_dvb() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &cx231xx_devlist_mutex

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_adapter_dvb_exit() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/cx18/cx18-dvb.c cx18_dvb_unregister() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_exit_dvb() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/media/av7110/av7110.c dvb_unregister() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/media/av7110/av7110.c dvb_unregister() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/pluto2/pluto2.c pluto2_remove() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c ttusb_disconnect() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/au0828/au0828-dvb.c au0828_dvb_unregister() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/au0828/au0828-dvb.c dvb_register() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
PARAM_VALUE 0 dvbnet->demux 4096-ptr_max
PARAM_VALUE 0 dvbnet->dvbdev 0,4096-ptr_max
PARAM_VALUE 0 dvbnet->ioctl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.first_waiter 0
PARAM_VALUE 0 dvbnet->remove_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.osq.tail.counter 0
PARAM_VALUE 0 dvbnet->remove_mutex.owner.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->lock
TYPE_LOCK (struct au0828_dev)->lock

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_adapter_dvb_exit() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/bt8xx/dvb-bt8xx.c dvb_bt8xx_remove() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/common/videobuf2/videobuf2-dvb.c vb2_dvb_dealloc_frontends() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
PARAM_VALUE 0 dvbnet->dvbdev 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->lock
HALF_LOCKED2 &drv->core->lock
HALF_LOCKED2 global &cx8802_mutex
TYPE_LOCK (struct vb2_dvb_frontends)->lock

drivers/media/pci/smipcie/smipcie-main.c smi_dvb_exit() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/saa7164/saa7164-dvb.c saa7164_dvb_unregister() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/firewire/firedtv-dvb.c fdtv_dvb_register() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
PARAM_VALUE 0 dvbnet->demux 4096-ptr_max
PARAM_VALUE 0 dvbnet->dvbdev 4096-ptr_max
PARAM_VALUE 0 dvbnet->ioctl_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.first_waiter 0
PARAM_VALUE 0 dvbnet->remove_mutex.magic 4096-ptr_max
PARAM_VALUE 0 dvbnet->remove_mutex.osq.tail.counter 0
PARAM_VALUE 0 dvbnet->remove_mutex.owner.counter 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/firewire/firedtv-dvb.c fdtv_dvb_unregister() -> dvb_net_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbnet 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex