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