Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/media/dvb-core/dvb_net.c, line 1629 (as a function)
- include/media/dvb_net.h, line 83 (as a function)
Referenced in 23 files:
- drivers/media/common/b2c2/flexcop.c, line 139
- drivers/media/common/videobuf2/videobuf2-dvb.c, line 325
- drivers/media/dvb-core/dvb_net.c, line 1649
- drivers/media/firewire/firedtv-dvb.c
- drivers/media/pci/bt8xx/dvb-bt8xx.c, line 926
- drivers/media/pci/cx18/cx18-dvb.c, line 441
- drivers/media/pci/ddbridge/ddbridge-core.c, line 1317
- drivers/media/pci/dm1105/dm1105.c
- drivers/media/pci/mantis/mantis_dvb.c
- drivers/media/pci/ngene/ngene-core.c, line 1422
- drivers/media/pci/pluto2/pluto2.c, line 737
- drivers/media/pci/saa7164/saa7164-dvb.c, line 509
- drivers/media/pci/smipcie/smipcie-main.c, line 894
- drivers/media/pci/ttpci/budget-core.c, line 403
- drivers/media/usb/au0828/au0828-dvb.c
- drivers/media/usb/cx231xx/cx231xx-dvb.c
- drivers/media/usb/dvb-usb-v2/dvb_usb_core.c, line 519
- drivers/media/usb/dvb-usb/dvb-usb-dvb.c, line 222
- drivers/media/usb/em28xx/em28xx-dvb.c
- drivers/media/usb/pvrusb2/pvrusb2-dvb.c, line 299
- drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c, line 1730
- drivers/media/usb/ttusb-dec/ttusb_dec.c, line 1539
- drivers/staging/media/av7110/av7110.c
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 |