hdpvr_cancel_queue identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/media/usb/hdpvr/hdpvr.h, line 313 (as a prototype)

Defined in 1 files as a function:

drivers/media/usb/hdpvr/hdpvr-video.c, line 88 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/media/usb/hdpvr/hdpvr-video.c hdpvr_free_buffers() -> hdpvr_cancel_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	0,4096-ptr_max
PARAM_VALUE	0	dev->bulk_in_size	8192
PARAM_VALUE	0	dev->free_buff_list.next	4096-ptr_max
PARAM_VALUE	0	dev->free_buff_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->free_buff_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->free_buff_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->free_buff_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_parent->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_parent->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_parent->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_parent->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_parent->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_automount	0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_init	0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_iput	0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_manage	0,1859587847549206528
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_prune	0,2225594340392566784,7225953709177749504
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_real	0,4509355519306412032
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_unalias_trylock	0,6635409759016140800
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_unalias_unlock	0,6336447517789900800
PARAM_VALUE	0	dev->i2c_adapter.debugfs->d_sb->__s_d_op->d_weak_revalidate	0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE	0	dev->i2c_adapter.dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	dev->i2c_adapter.dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->i2c_adapter.dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	dev->i2c_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->i2c_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->i2c_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->i2c_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->i2c_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->i2c_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->i2c_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->i2c_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->i2c_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->i2c_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->io_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->io_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->io_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->io_mutex.magic	4096-ptr_max
PARAM_VALUE	0	dev->io_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->io_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->options.brightness	128
PARAM_VALUE	0	dev->options.contrast	64
PARAM_VALUE	0	dev->options.hue	15
PARAM_VALUE	0	dev->options.saturation	64
PARAM_VALUE	0	dev->options.sharpness	128
PARAM_VALUE	0	dev->rec_buff_list.next	4096-ptr_max
PARAM_VALUE	0	dev->rec_buff_list.next->next	4096-ptr_max
PARAM_VALUE	0	dev->rec_buff_list.prev	4096-ptr_max
PARAM_VALUE	0	dev->rec_buff_list.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->rec_buff_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->status	1
PARAM_VALUE	0	dev->udev	4096-ptr_max
PARAM_VALUE	0	dev->usbc_buf	4096-ptr_max
PARAM_VALUE	0	dev->usbc_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->usbc_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->usbc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->usbc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	dev->usbc_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->usbc_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->usbc_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->usbc_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->usbc_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->usbc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->v4l2_dev->name	0-255
PARAM_VALUE	0	dev->v4l2_dev.dev	4096-ptr_max
PARAM_VALUE	0	dev->v4l2_dev.ref.refcount.refs.counter	1
PARAM_VALUE	0	dev->v4l2_dev.subdevs.next	4096-ptr_max
PARAM_VALUE	0	dev->v4l2_dev.subdevs.next->next	4096-ptr_max
PARAM_VALUE	0	dev->v4l2_dev.subdevs.prev	4096-ptr_max
PARAM_VALUE	0	dev->v4l2_dev.subdevs.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->v4l2_dev.subdevs.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->video_dev.dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	dev->video_dev.dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	dev->wait_buffer.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_buffer.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_buffer.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_buffer.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_buffer.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_data.head.next	4096-ptr_max
PARAM_VALUE	0	dev->wait_data.head.next->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_data.head.prev	4096-ptr_max
PARAM_VALUE	0	dev->wait_data.head.prev->next	4096-ptr_max
PARAM_VALUE	0	dev->wait_data.head.prev->prev	4096-ptr_max
BUF_SIZE	0	dev	0,6120
BUF_SIZE	0	dev	0,6120
BUF_SIZE	0	dev->usbc_buf	(-1),64
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	dev->v4l2_dev.ctrl_handler->nr_of_buckets
NO_OVERFLOW_SIMPLE	0	dev->video_dev.cdev->count
HALF_LOCKED2	0	&dev->io_mutex

drivers/media/usb/hdpvr/hdpvr-video.c hdpvr_stop_streaming() -> hdpvr_cancel_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->bulk_in_size	0-9223372036854775807
PARAM_VALUE	0	dev->io_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->io_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->io_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->io_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->io_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->io_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	dev->io_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	dev->status	3
PARAM_VALUE	0	dev->udev	4096-ptr_max
PARAM_VALUE	0	dev->usbc_buf	4096-ptr_max
PARAM_VALUE	0	dev->usbc_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->usbc_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->usbc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->usbc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->wait_buffer.lock.rlock.dep_map->name	0-255
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev	s32min-(-2),1-s32max
BUF_SIZE	0	dev->owner	s32min-(-1),1-s32max
CAPPED_DATA	0	&dev->io_mutex	1
CAPPED_DATA	0	&dev->worker	1
DATA_SOURCE	0	dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&dev->io_mutex
TYPE_LOCK		(struct hdpvr_device)->io_mutex

drivers/media/usb/hdpvr/hdpvr-core.c hdpvr_disconnect() -> hdpvr_cancel_queue()

Type	Parameter	Key	Value
PARAM_VALUE	0	dev	4096-ptr_max
PARAM_VALUE	0	dev->io_mutex.dep_map->name	0-255
PARAM_VALUE	0	dev->io_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	dev->io_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	dev->io_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->io_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	dev->io_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	dev->io_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	dev->io_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	dev->io_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	dev->io_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	dev->io_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	dev->io_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	dev->status	6
PARAM_VALUE	0	dev->v4l2_dev.dev	0
PARAM_VALUE	0	dev->wait_buffer.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	dev->wait_data.lock.rlock.dep_map->name	0-255
CAPPED_DATA	0	&dev->io_mutex	1
CAPPED_DATA	0	&dev->v4l2_dev	1
CAPPED_DATA	0	&dev->worker	1
DATA_SOURCE	0	dev	r to_hdpvr_dev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&dev->io_mutex
TYPE_LOCK		(struct hdpvr_device)->io_mutex