Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/media/common/b2c2/flexcop.c flexcop_dvb_init() -> (struct dmx_demux)->disconnect_frontend()

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 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 -112+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/dm1105/dm1105.c dm1105_probe() -> (struct dmx_demux)->disconnect_frontend()

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 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->users s32min-9
PARAM_VALUE 0 demux->write 2624585396894089216
BUF_SIZE 0 demux 136
CONTAINER 0 -112+0 $(-1)
HARD_MAX 0 demux->users 9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/dm1105/dm1105.c dm1105_remove() -> (struct dmx_demux)->disconnect_frontend()

Type Parameter Key Value
PARAM_VALUE 0 demux 4096-ptr_max
PARAM_VALUE 0 demux->users s32min-s32max
BUF_SIZE 0 demux 136
CONTAINER 0 -112+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/cx18/cx18-dvb.c cx18_dvb_register() -> (struct dmx_demux)->disconnect_frontend()

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 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->users s32min-9
PARAM_VALUE 0 demux->write 2624585396894089216
BUF_SIZE 0 demux 136
CONTAINER 0 -112+0 $(-1)
HARD_MAX 0 demux->users 9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/pci/pluto2/pluto2.c pluto2_probe() -> (struct dmx_demux)->disconnect_frontend()

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 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->users s32min-9
PARAM_VALUE 0 demux->write 2624585396894089216
BUF_SIZE 0 demux 136
CONTAINER 0 -112+0 $(-1)
HARD_MAX 0 demux->users 9
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/pluto2/pluto2.c pluto2_remove() -> (struct dmx_demux)->disconnect_frontend()

Type Parameter Key Value
PARAM_VALUE 0 demux 4096-ptr_max
PARAM_VALUE 0 demux->users s32min-s32max
BUF_SIZE 0 demux 136
CONTAINER 0 -112+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/dvb-core/dmxdev.c dvb_dvr_open() -> (struct dmx_demux)->disconnect_frontend()

Type Parameter Key Value
PARAM_VALUE 0 demux 4096-ptr_max
PARAM_VALUE 0 demux->get_frontends 4096-ptr_max
PARAM_VALUE 0 demux->write 1-u64max
CONTAINER 0 *(-112+0) $(-1)
PARAM_COMPARE 0 &demux->frontend_list != $0->frontend_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dmxdev->mutex
TYPE_LOCK (struct dmxdev)->mutex

drivers/media/dvb-core/dmxdev.c dvb_dvr_release() -> (struct dmx_demux)->disconnect_frontend()

Type Parameter Key Value
PARAM_VALUE 0 demux 4096-ptr_max
CONTAINER 0 *(-112+0) $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dmxdev->mutex
TYPE_LOCK (struct dmxdev)->mutex

drivers/media/pci/bt8xx/dvb-bt8xx.c dvb_bt8xx_load_card() -> (struct dmx_demux)->disconnect_frontend()

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 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 -112+0 $(-1)
MEM_ZERO 0 demux
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL