Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/dvb-usb/digitv.c digitv_i2c_xfer() -> digitv_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d->i2c_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->i2c_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->i2c_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | cmd | 2 |
| PARAM_VALUE | 3 | wbuf | 0 |
| PARAM_VALUE | 4 | wlen | 0 |
| PARAM_VALUE | 6 | rlen | 0-u16max |
| BUF_SIZE | 0 | d | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | d | s32min-(-2),1-s32max |
| BUF_SIZE | 5 | rbuf | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &d->i2c_mutex | 1 |
| UNITS | 0 | d | unit_byte |
| UNITS | 5 | rbuf | unit_byte |
| UNITS | 6 | rlen | unit_byte |
| LOCK2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->i2c_mutex |
drivers/media/usb/dvb-usb/digitv.c digitv_i2c_xfer() -> digitv_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d->i2c_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->i2c_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->i2c_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | cmd | 5 |
| PARAM_VALUE | 3 | wbuf | 4096-ptr_max |
| PARAM_VALUE | 4 | wlen | 0-65534 |
| PARAM_VALUE | 5 | rbuf | 0 |
| PARAM_VALUE | 6 | rlen | 0 |
| BUF_SIZE | 0 | d | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | d | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &d->i2c_mutex | 1 |
| UNITS | 0 | d | unit_byte |
| UNITS | 4 | wlen | unit_byte |
| LOCK2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->i2c_mutex |
drivers/media/usb/dvb-usb/digitv.c digitv_nxt6000_tuner_set_params() -> digitv_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | cmd | 6 |
| PARAM_VALUE | 2 | vv | 0 |
| PARAM_VALUE | 3 | wbuf | 4970716919636193281 |
| PARAM_VALUE | 4 | wlen | 4 |
| PARAM_VALUE | 5 | rbuf | 0 |
| PARAM_VALUE | 6 | rlen | 0 |
| BUF_SIZE | 3 | wbuf | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/usb/dvb-usb/digitv.c digitv_probe() -> digitv_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->data_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->data_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->data_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.bus_lock.rtmutex.owner | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.bus | 1544978709912981504 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.kset | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.links.status | 0,3 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.numa_node | (-1) |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.async_suspend | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.early_init | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.ignore_children | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.no_callbacks | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.qos | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.request | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.type | 237180460060401664 |
| PARAM_VALUE | 0 | d->i2c_adap.locked_flags | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.mux_lock.rtmutex.owner | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.nr | 0-s32max |
| PARAM_VALUE | 0 | d->i2c_adap.userspace_clients_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->owner | 0 |
| PARAM_VALUE | 0 | d->props.rc.legacy.rc_interval | 40-s32max |
| PARAM_VALUE | 0 | d->props.rc.mode | 0-1 |
| PARAM_VALUE | 0 | d->props.size_of_priv | s32min-4000000 |
| PARAM_VALUE | 0 | d->state | 0-13 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->usb_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.owner.counter | 0 |
| PARAM_VALUE | 1 | cmd | 8 |
| PARAM_VALUE | 2 | vv | 0 |
| PARAM_VALUE | 3 | wbuf | 4096-ptr_max |
| PARAM_VALUE | 4 | wlen | 4 |
| PARAM_VALUE | 5 | rbuf | 0 |
| PARAM_VALUE | 6 | rlen | 0 |
| BUF_SIZE | 3 | wbuf | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/usb/dvb-usb/digitv.c digitv_probe() -> digitv_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->data_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->data_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->data_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.bus_lock.rtmutex.owner | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.bus | 1544978709912981504 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.dma_io_tlb_mem | 1473117533515866112 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.dma_uses_io_tlb | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.kset | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.ktype | 5399513539053756416 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.state_in_sysfs | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.links.status | 0,3 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.numa_node | (-1) |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.async_suspend | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.deferred_resume | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.early_init | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.idle_notification | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.ignore_children | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.is_late_suspended | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.is_prepared | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.is_suspended | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.no_callbacks | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.qos | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.request | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.runtime_auto | 1 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.dev.type | 237180460060401664 |
| PARAM_VALUE | 0 | d->i2c_adap.locked_flags | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.mux_lock.rtmutex.owner | 0 |
| PARAM_VALUE | 0 | d->i2c_adap.nr | 0-s32max |
| PARAM_VALUE | 0 | d->i2c_adap.userspace_clients_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->owner | 0 |
| PARAM_VALUE | 0 | d->props.rc.legacy.rc_interval | 40-s32max |
| PARAM_VALUE | 0 | d->props.rc.mode | 0-1 |
| PARAM_VALUE | 0 | d->props.size_of_priv | s32min-4000000 |
| PARAM_VALUE | 0 | d->state | 0-13 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | *d->priv->rcvbuf | 0-255 |
| PARAM_VALUE | 0 | *d->priv->sndbuf | 0-255 |
| PARAM_VALUE | 1 | cmd | 7 |
| PARAM_VALUE | 2 | vv | 0 |
| PARAM_VALUE | 3 | wbuf | 4096-ptr_max |
| PARAM_VALUE | 4 | wlen | 4 |
| PARAM_VALUE | 5 | rbuf | 0 |
| PARAM_VALUE | 6 | rlen | 0 |
| BUF_SIZE | 3 | wbuf | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/media/usb/dvb-usb/digitv.c digitv_rc_query() -> digitv_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 1 | cmd | 3 |
| PARAM_VALUE | 2 | vv | 0 |
| PARAM_VALUE | 3 | wbuf | 0 |
| PARAM_VALUE | 4 | wlen | 0 |
| PARAM_VALUE | 5 | rbuf | 5979888667363016704 |
| PARAM_VALUE | 6 | rlen | 4 |
| BUF_SIZE | 5 | rbuf | 4 |
| DATA_SOURCE | 0 | d | $0 |
| HALF_LOCKED2 | &pool->lock |
drivers/media/usb/dvb-usb/digitv.c digitv_rc_query() -> digitv_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props.generic_bulk_ctrl_endpoint | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | d->udev->bus->sysdev->iommu->attach_deferred | 0 |
| PARAM_VALUE | 0 | d->udev->state | 4-u32max |
| PARAM_VALUE | 0 | d->usb_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *d->priv->rcvbuf | 0-255 |
| PARAM_VALUE | 0 | *d->priv->sndbuf | 0-255 |
| PARAM_VALUE | 1 | cmd | 7 |
| PARAM_VALUE | 2 | vv | 0 |
| PARAM_VALUE | 3 | wbuf | 4096-ptr_max |
| PARAM_VALUE | 4 | wlen | 4 |
| PARAM_VALUE | 5 | rbuf | 0 |
| PARAM_VALUE | 6 | rlen | 0 |
| BUF_SIZE | 3 | wbuf | 4 |
| DATA_SOURCE | 0 | d | $0 |
| HALF_LOCKED2 | &pool->lock |