Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 29 files:

Smatch caller information:

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_adapter_exit() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
NOCHECK_CALL

drivers/media/usb/pvrusb2/pvrusb2-dvb.c pvr2_dvb_adapter_init() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 5825335193921523712
PARAM_VALUE 0 dvbdemux->stop_feed 2632748229605707776
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
NOCHECK_CALL

drivers/media/pci/ngene/ngene-core.c release_channel() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/em28xx/em28xx-dvb.c em28xx_register_dvb() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 6623124640399478784
PARAM_VALUE 0 dvbdemux->stop_feed 2048307354106269696
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
NOCHECK_CALL

drivers/media/usb/em28xx/em28xx-dvb.c em28xx_unregister_dvb() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &em28xx_devlist_mutex

drivers/media/pci/ttpci/budget-core.c budget_register() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 0,7516674342879940608
PARAM_VALUE 0 dvbdemux->cnt_storage 0
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 0,7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 0,5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 0,6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 0,1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 0,3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 0,1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 0,5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 0,3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 0,5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 0,4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 0,9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 0,4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 0,2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 0,2624585396894089216
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->memcopy 0,3638553277044056064
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 8027086134838906880
PARAM_VALUE 0 dvbdemux->stop_feed 3254005398917070848
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
MEM_ZERO 0 dvbdemux
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/pci/ttpci/budget-core.c budget_unregister() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/pt1/pt1.c pt1_alloc_adapter() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.frontend 0
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.users s32min-s32max
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.next->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.next->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->recording 0
PARAM_VALUE 0 dvbdemux->start_feed 2051977066086055936
PARAM_VALUE 0 dvbdemux->stop_feed 4223047467955671040
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
PARAM_VALUE 0 dvbdemux->write_to_decoder 0
PARAM_VALUE 0 *dvbdemux->pesfilter 0
PARAM_VALUE 0 *dvbdemux->pids u16max
BUF_SIZE 0 dvbdemux 912
BUF_SIZE 0 dvbdemux->priv 2704
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/pci/pt1/pt1.c pt1_free_adapter() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/ddbridge/ddbridge-core.c dvb_input_detach() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/common/b2c2/flexcop.c flexcop_dvb_exit() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/common/b2c2/flexcop.c flexcop_dvb_init() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 7912007197845393408
PARAM_VALUE 0 dvbdemux->stop_feed 5838010552878972928
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/mantis/mantis_dvb.c mantis_dvb_exit() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/mantis/mantis_dvb.c mantis_dvb_init() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 76714908158922752
PARAM_VALUE 0 dvbdemux->stop_feed 5951107510119600128
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/dm1105/dm1105.c dm1105_probe() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.frontend 0
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.users s32min-s32max
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.next->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.next->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->recording 0
PARAM_VALUE 0 dvbdemux->start_feed 5406844328092127232
PARAM_VALUE 0 dvbdemux->stop_feed 4314294993394655232
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
PARAM_VALUE 0 *dvbdemux->pesfilter 0
PARAM_VALUE 0 *dvbdemux->pids u16max
BUF_SIZE 0 dvbdemux 912
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/dm1105/dm1105.c dm1105_remove() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.frontend 0
PARAM_VALUE 0 dvbdemux->dmx.users s32min-s32max
BUF_SIZE 0 dvbdemux 912
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/cx231xx/cx231xx-dvb.c register_dvb() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 5307920447862448128
PARAM_VALUE 0 dvbdemux->stop_feed 7423413083370663936
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
NOCHECK_CALL

drivers/media/usb/cx231xx/cx231xx-dvb.c unregister_dvb() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 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_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb/dvb-usb-dvb.c dvb_usb_adapter_dvb_init() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 0-s32max
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 0-s32max
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 2404863977934213120
PARAM_VALUE 0 dvbdemux->stop_feed 8172860578165547008
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/cx18/cx18-dvb.c cx18_dvb_register() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.frontend 0
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.users s32min-s32max
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.next->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.next->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->recording 0
PARAM_VALUE 0 dvbdemux->start_feed 429641515362185216
PARAM_VALUE 0 dvbdemux->stop_feed 5721972532643438592
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
PARAM_VALUE 0 *dvbdemux->pesfilter 0
PARAM_VALUE 0 *dvbdemux->pids u16max
BUF_SIZE 0 dvbdemux 912
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/pci/cx18/cx18-dvb.c cx18_dvb_unregister() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.users s32min-s32max
BUF_SIZE 0 dvbdemux 912
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_exit_dvb() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_init_dvb() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 31
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 31
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 106621474261729280
PARAM_VALUE 0 dvbdemux->stop_feed 2034748989154848768
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_init_dvb() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 31
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 31
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 106621474261729280
PARAM_VALUE 0 dvbdemux->stop_feed 2034748989154848768
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/ttusb-dec/ttusb_dec.c ttusb_dec_init_dvb() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.frontend 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 31
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 31
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 106621474261729280
PARAM_VALUE 0 dvbdemux->stop_feed 2034748989154848768
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/media/av7110/av7110.c dvb_unregister() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/staging/media/av7110/av7110.c dvb_unregister() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/pluto2/pluto2.c pluto2_probe() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.frontend 0
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.users s32min-s32max
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.next->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.next->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->recording 0
PARAM_VALUE 0 dvbdemux->start_feed 8479578410188726272
PARAM_VALUE 0 dvbdemux->stop_feed 8430283509675708416
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
PARAM_VALUE 0 *dvbdemux->pesfilter 0
PARAM_VALUE 0 *dvbdemux->pids u16max
BUF_SIZE 0 dvbdemux 912
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/pluto2/pluto2.c pluto2_remove() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.frontend 0
PARAM_VALUE 0 dvbdemux->dmx.users s32min-s32max
BUF_SIZE 0 dvbdemux 912
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/common/siano/smsdvb-main.c smsdvb_hotplug() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 1
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 32
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 32
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->start_feed 7513431299973357568
PARAM_VALUE 0 dvbdemux->stop_feed 5017352390331424768
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &g_smscore_deviceslock

drivers/media/common/siano/smsdvb-main.c smsdvb_unregister_client() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &g_smsdvb_clientslock
HALF_LOCKED2 global &g_smscore_deviceslock

drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c ttusb_disconnect() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/ttusb-budget/dvb-ttusb-budget.c ttusb_probe() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 7516674342879940608
PARAM_VALUE 0 dvbdemux->cnt_storage 0
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 32
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 32
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 3638553277044056064
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 0
PARAM_VALUE 0 dvbdemux->start_feed 3798618441286463488
PARAM_VALUE 0 dvbdemux->stop_feed 2637802826801516544
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
MEM_ZERO 0 dvbdemux
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/au0828/au0828-dvb.c au0828_dvb_unregister() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/au0828/au0828-dvb.c dvb_register() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 3312064888727457792
PARAM_VALUE 0 dvbdemux->stop_feed 5142998511816597504
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->lock
TYPE_LOCK (struct au0828_dev)->lock

drivers/media/usb/as102/as102_drv.c as102_dvb_register() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 16,256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 256486308190105600
PARAM_VALUE 0 dvbdemux->stop_feed 6735838727905312768
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/as102/as102_drv.c as102_dvb_unregister() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_adapter_dvb_exit() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/usb/dvb-usb-v2/dvb_usb_core.c dvb_usbv2_adapter_dvb_init() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 0-255
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 0-255
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 8157959759076421632
PARAM_VALUE 0 dvbdemux->stop_feed 758729399541432320
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/bt8xx/dvb-bt8xx.c dvb_bt8xx_load_card() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 7516674342879940608
PARAM_VALUE 0 dvbdemux->cnt_storage 0
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 3638553277044056064
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 246466320797097984
PARAM_VALUE 0 dvbdemux->stop_feed 460558233700675584
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
MEM_ZERO 0 dvbdemux
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/bt8xx/dvb-bt8xx.c dvb_bt8xx_remove() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 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_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
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/common/videobuf2/videobuf2-dvb.c vb2_dvb_register_frontend() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 2826093093212262400
PARAM_VALUE 0 dvbdemux->stop_feed 4589568280219115520
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &f->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct vb2_dvb_frontends)->lock

drivers/media/test-drivers/vidtv/vidtv_bridge.c vidtv_bridge_dvb_init() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 5322943637311287296
PARAM_VALUE 0 dvbdemux->stop_feed 5124256688467075072
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/test-drivers/vidtv/vidtv_bridge.c vidtv_bridge_remove() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex

drivers/media/pci/smipcie/smipcie-main.c smi_dvb_exit() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/smipcie/smipcie-main.c smi_dvb_init() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/spi/cxd2880-spi.c cxd2880_spi_probe() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 1
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 32
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 32
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 452911507297538048
PARAM_VALUE 0 dvbdemux->stop_feed 8913913074599235584
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/spi/cxd2880-spi.c cxd2880_spi_remove() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/pci/saa7164/saa7164-dvb.c dvb_register() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 13
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 4866072440782266368
PARAM_VALUE 0 dvbdemux->stop_feed 5988060276070060032
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/media/pci/saa7164/saa7164-dvb.c saa7164_dvb_unregister() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dev->mutex

drivers/media/pci/pt3/pt3.c pt3_alloc_adapter() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.capabilities 5
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 256
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 256
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 7244289681835544576
PARAM_VALUE 0 dvbdemux->stop_feed 6188652583184003072
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/pci/pt3/pt3.c pt3_cleanup_adapter() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/firewire/firedtv-dvb.c fdtv_dvb_register() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
PARAM_VALUE 0 dvbdemux->check_crc32 1-u64max
PARAM_VALUE 0 dvbdemux->dmx.add_frontend 7496628551107129344
PARAM_VALUE 0 dvbdemux->dmx.allocate_section_feed 5178005904802480128
PARAM_VALUE 0 dvbdemux->dmx.allocate_ts_feed 6078934142870974464
PARAM_VALUE 0 dvbdemux->dmx.close 1912595062064832512
PARAM_VALUE 0 dvbdemux->dmx.connect_frontend 3796812085283176448
PARAM_VALUE 0 dvbdemux->dmx.disconnect_frontend 1966629886725861376
PARAM_VALUE 0 dvbdemux->dmx.get_frontends 5994570995935490048
PARAM_VALUE 0 dvbdemux->dmx.get_pes_pids 3180627643158437888
PARAM_VALUE 0 dvbdemux->dmx.open 5526431022189506560
PARAM_VALUE 0 dvbdemux->dmx.priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->dmx.release_section_feed 9006761519503056896
PARAM_VALUE 0 dvbdemux->dmx.release_ts_feed 4072780391670812672
PARAM_VALUE 0 dvbdemux->dmx.remove_frontend 2496874270895730688
PARAM_VALUE 0 dvbdemux->dmx.write 2624585396894089216
PARAM_VALUE 0 dvbdemux->feed 1-u64max
PARAM_VALUE 0 dvbdemux->feed_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feed_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->feednum 16
PARAM_VALUE 0 dvbdemux->filter 1-u64max
PARAM_VALUE 0 dvbdemux->filternum 16
PARAM_VALUE 0 dvbdemux->frontend_list.next 4096-ptr_max
PARAM_VALUE 0 dvbdemux->frontend_list.prev 4096-ptr_max
PARAM_VALUE 0 dvbdemux->memcopy 1-u64max
PARAM_VALUE 0 dvbdemux->playing 0
PARAM_VALUE 0 dvbdemux->priv 4096-ptr_max
PARAM_VALUE 0 dvbdemux->start_feed 8604792698732773376
PARAM_VALUE 0 dvbdemux->stop_feed 2621920953493438464
PARAM_VALUE 0 dvbdemux->tsbufp 0
PARAM_VALUE 0 dvbdemux->users 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/media/firewire/firedtv-dvb.c fdtv_dvb_unregister() -> dvb_dmx_release()

Type Parameter Key Value
PARAM_VALUE 0 dvbdemux 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex