Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/hdpvr/hdpvr-i2c.c hdpvr_activate_ir() -> hdpvr_i2c_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 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_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.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->i2c_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.owner_cpu | u32max |
| 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->list.prev->prev | 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.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.audio_input | 0-2 |
| 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->options.video_input | 0-2 |
| 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->udev->bus | 1-u64max |
| PARAM_VALUE | 0 | dev->udev->bus->sysdev->iommu->attach_deferred | 0-1 |
| 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->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 |
| PARAM_VALUE | 0 | *dev->i2c_buf | 0-255 |
| PARAM_VALUE | 1 | bus | 1 |
| PARAM_VALUE | 2 | addr | 84 |
| PARAM_VALUE | 3 | data | 2584323378519588864 |
| PARAM_VALUE | 4 | len | 2 |
| BUF_SIZE | 0 | dev | 6120 |
| BUF_SIZE | 0 | dev->usbc_buf | 64 |
| BUF_SIZE | 3 | data | 2 |
| CAPPED_DATA | 0 | &dev->i2c_mutex | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| TERMINATED | 3 | data | 1 |
| MEM_ZERO | 0 | &dev->v4l2_dev.prio | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &dev->i2c_mutex | |
| TYPE_LOCK | (struct hdpvr_device)->i2c_mutex |
drivers/media/usb/hdpvr/hdpvr-i2c.c hdpvr_activate_ir() -> hdpvr_i2c_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 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_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.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->i2c_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.owner_cpu | u32max |
| 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->list.prev->prev | 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.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.audio_input | 0-2 |
| 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->options.video_input | 0-2 |
| 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->udev->bus | 1-u64max |
| PARAM_VALUE | 0 | dev->udev->bus->sysdev->iommu->attach_deferred | 0-1 |
| 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->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 |
| PARAM_VALUE | 0 | *dev->i2c_buf | 0-255 |
| PARAM_VALUE | 1 | bus | 1 |
| PARAM_VALUE | 2 | addr | 84 |
| PARAM_VALUE | 3 | data | 2584323378519588864 |
| PARAM_VALUE | 4 | len | 2 |
| BUF_SIZE | 0 | dev | 6120 |
| BUF_SIZE | 0 | dev->usbc_buf | 64 |
| BUF_SIZE | 3 | data | 2 |
| CAPPED_DATA | 0 | &dev->i2c_mutex | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| TERMINATED | 3 | data | 1 |
| MEM_ZERO | 0 | &dev->v4l2_dev.prio | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &dev->i2c_mutex | |
| TYPE_LOCK | (struct hdpvr_device)->i2c_mutex |
drivers/media/usb/hdpvr/hdpvr-i2c.c hdpvr_transfer() -> hdpvr_i2c_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| 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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->i2c_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | bus | 1 |
| PARAM_VALUE | 4 | len | 0-u16max |
| BUF_SIZE | 0 | dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | dev | s32min-(-2),1-s32max |
| BUF_SIZE | 3 | data | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &dev->i2c_mutex | 1 |
| STR_LEN | 0 | dev | (-1) |
| STR_LEN | 0 | dev | (-1) |
| BIT_INFO | 2 | addr | 0x0,0xfffe |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | dev | unit_byte |
| UNITS | 3 | data | unit_byte |
| UNITS | 4 | len | unit_byte |
| LOCK2 | 0 | &dev->i2c_mutex | |
| TYPE_LOCK | (struct hdpvr_device)->i2c_mutex |