Open Menu /

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/media/usb/cx231xx/cx231xx-core.c cx231xx_close_extension() -> (struct cx231xx_ops)->fini()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->init_data.rc_dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->init_data.rc_dev->input_dev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->init_data.rc_dev->input_dev->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->init_data.rc_dev->input_dev->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->init_data.rc_dev->input_dev->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 dev->init_data.rc_dev->input_dev->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 dev->init_data.rc_dev->input_dev->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->ir_i2c_client->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->ir_i2c_client->dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->ir_i2c_client->dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->ir_i2c_client->dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 dev->ir_i2c_client->dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 dev->ir_i2c_client->dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->ir_i2c_client->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->lock.dep_map->name 0-255
PARAM_VALUE 0 dev->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 dev->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 dev->mpeg_ctrl_handler.ops->s_audio_mode 0,976750168319995904,2704774889410846720
PARAM_VALUE 0 dev->mpeg_ctrl_handler.ops->s_audio_sampling_freq 1277102923882958848,4068353137157672960,8691856332540948480
PARAM_VALUE 0 dev->mpeg_ctrl_handler.ops->s_stream_vbi_fmt 0,682252217485733888,8450730889598803968
PARAM_VALUE 0 dev->mpeg_ctrl_handler.ops->s_video_encoding 5482833108900888576,8667610694159556608,8974335254585094144
PARAM_VALUE 0 dev->muxc->max_adapters s32min-s32max
PARAM_VALUE 0 dev->muxc->num_adapters s32min-s32max
PARAM_VALUE 0 dev->v4l_device.dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->v4l_device.dev.dma_io_tlb_mem->debugfs 0-s64max
PARAM_VALUE 0 dev->v4l_device.dev.dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 dev->v4l_device.dev.dma_io_tlb_mem->force_bounce 0-1
PARAM_VALUE 0 dev->v4l_device.dev.dma_io_tlb_mem->nslabs 0-s64max
PARAM_VALUE 0 dev->v4l_device.dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 dev->v4l_device.dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 *dev->name 0-255
PARAM_VALUE 0 *dev->udev->toggle 0-4294967295
PARAM_VALUE 0 *dev->urb_buf 0-255
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev s32min-(-2),1-s32max
BUF_SIZE 0 dev->dev (-1),1616
DATA_SOURCE 0 dev $0
STR_LEN 0 dev->name (-1),28
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->init_data.rc_dev->input_dev->max_vals
NO_OVERFLOW_SIMPLE 0 dev->ir_i2c_client->init_irq
NO_OVERFLOW_SIMPLE 0 dev->muxc->max_adapters
NO_OVERFLOW_SIMPLE 0 dev->sliced_cc_mode.num_alt
NO_OVERFLOW_SIMPLE 0 dev->ts1_mode.num_alt
NO_OVERFLOW_SIMPLE 0 dev->v4l_device.cdev->count
NO_OVERFLOW_SIMPLE 0 dev->vbi_mode.num_alt
NO_OVERFLOW_SIMPLE 0 dev->video_mode.num_alt
LOCK2 global &cx231xx_devlist_mutex
HALF_LOCKED2 0 &dev->lock

drivers/media/usb/cx231xx/cx231xx-core.c cx231xx_unregister_extension() -> (struct cx231xx_ops)->fini()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
CAPPED_DATA 0 &dev->devlist 1
NOCHECK_CALL
LOCK2 global &cx231xx_devlist_mutex

drivers/media/pci/saa7134/saa7134-core.c mpeg_ops_detach() -> (struct saa7134_mpeg_ops)->fini()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mops 4096-ptr_max
CAPPED_DATA 0 dev->mops 1
DATA_SOURCE 0 dev $1
CONTAINER 0 -32-7072+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &saa7134_devlist_lock