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 |