Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_adapter_exit() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| NOCHECK_CALL |
drivers/media/pci/ngene/ngene-core.c release_channel() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/ttpci/budget-core.c budget_unregister() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/pt1/pt1.c pt1_free_adapter() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/common/b2c2/flexcop.c flexcop_dvb_exit() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/dm1105/dm1105.c dm1105_remove() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| BUF_SIZE | 0 | demux | 136 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_adapter_dvb_exit() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/cx18/cx18-dvb.c cx18_dvb_unregister() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| BUF_SIZE | 0 | demux | 136 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_exit_dvb() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/staging/media/av7110/av7110.c dvb_unregister() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/staging/media/av7110/av7110.c dvb_unregister() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/pluto2/pluto2.c pluto2_remove() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| BUF_SIZE | 0 | demux | 136 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/dvb-core/dmxdev.c dvb_dmxdev_release() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | *(-32+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &dev->mutex | ||
| HALF_LOCKED2 | &f->lock | ||
| HALF_LOCKED2 | global &cx231xx_devlist_mutex | ||
| HALF_LOCKED2 | global &em28xx_devlist_mutex | ||
| HALF_LOCKED2 | global &g_smscore_deviceslock | ||
| HALF_LOCKED2 | global &g_smsdvb_clientslock |
drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c ttusb_disconnect() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_adapter_dvb_exit() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/smipcie/smipcie-main.c smi_dvb_exit() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/pci/smipcie/smipcie-main.c smi_dvb_init() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| PARAM_VALUE | 0 | demux->add_frontend | 7496628551107129344 |
| PARAM_VALUE | 0 | demux->allocate_section_feed | 5178005904802480128 |
| PARAM_VALUE | 0 | demux->allocate_ts_feed | 6078934142870974464 |
| PARAM_VALUE | 0 | demux->capabilities | 13 |
| PARAM_VALUE | 0 | demux->close | 1912595062064832512 |
| PARAM_VALUE | 0 | demux->connect_frontend | 3796812085283176448 |
| PARAM_VALUE | 0 | demux->disconnect_frontend | 1966629886725861376 |
| PARAM_VALUE | 0 | demux->frontend | 0 |
| PARAM_VALUE | 0 | demux->get_frontends | 5994570995935490048 |
| PARAM_VALUE | 0 | demux->get_pes_pids | 3180627643158437888 |
| PARAM_VALUE | 0 | demux->open | 5526431022189506560 |
| PARAM_VALUE | 0 | demux->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | demux->release_section_feed | 9006761519503056896 |
| PARAM_VALUE | 0 | demux->release_ts_feed | 4072780391670812672 |
| PARAM_VALUE | 0 | demux->remove_frontend | 2496874270895730688 |
| PARAM_VALUE | 0 | demux->write | 2624585396894089216 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/media/pci/pt3/pt3.c pt3_cleanup_adapter() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| BUF_SIZE | 0 | demux | 136 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/firewire/firedtv-dvb.c fdtv_dvb_register() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| PARAM_VALUE | 0 | demux->add_frontend | 7496628551107129344 |
| PARAM_VALUE | 0 | demux->allocate_section_feed | 5178005904802480128 |
| PARAM_VALUE | 0 | demux->allocate_ts_feed | 6078934142870974464 |
| PARAM_VALUE | 0 | demux->capabilities | 0 |
| PARAM_VALUE | 0 | demux->close | 1912595062064832512 |
| PARAM_VALUE | 0 | demux->connect_frontend | 3796812085283176448 |
| PARAM_VALUE | 0 | demux->disconnect_frontend | 1966629886725861376 |
| PARAM_VALUE | 0 | demux->frontend | 4096-ptr_max |
| PARAM_VALUE | 0 | demux->get_frontends | 5994570995935490048 |
| PARAM_VALUE | 0 | demux->get_pes_pids | 3180627643158437888 |
| PARAM_VALUE | 0 | demux->open | 5526431022189506560 |
| PARAM_VALUE | 0 | demux->priv | 4096-ptr_max |
| PARAM_VALUE | 0 | demux->release_section_feed | 9006761519503056896 |
| PARAM_VALUE | 0 | demux->release_ts_feed | 4072780391670812672 |
| PARAM_VALUE | 0 | demux->remove_frontend | 2496874270895730688 |
| PARAM_VALUE | 0 | demux->write | 2624585396894089216 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/firewire/firedtv-dvb.c fdtv_dvb_unregister() -> (struct dmx_demux)->close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | demux | 4096-ptr_max |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &dev->mutex | ||
| TYPE_LOCK | (struct device)->mutex |