Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/media/usb/dvb-usb-v2/ec168.c ec168_download_firmware() -> ec168_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->authorized | 1 |
| PARAM_VALUE | 0 | d->intf->condition | 1 |
| PARAM_VALUE | 0 | d->intf->cur_altsetting | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->needs_altsetting0 | 0 |
| PARAM_VALUE | 0 | d->intf->needs_binding | 0 |
| PARAM_VALUE | 0 | d->props | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->download_firmware | 1-u64max |
| PARAM_VALUE | 0 | d->props->identify_state | 1-u64max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->size_of_priv | 0-4000000 |
| PARAM_VALUE | 0 | d->udev->bus->sysdev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | d->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->parent->bus->sysdev->iommu->attach_deferred | 0-1 |
| 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 | s32min-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *d->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | req | 3043734787602329600 |
| PARAM_VALUE | 1 | req->cmd | 0 |
| PARAM_VALUE | 1 | req->size | 1-2048 |
| PARAM_VALUE | 1 | req->value | 0 |
| BUF_SIZE | 0 | d | 9920 |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| CAPPED_DATA | 0 | d->props->bInterfaceNumber | 1 |
| DATA_SOURCE | 0 | d | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/usb/dvb-usb-v2/ec168.c ec168_download_firmware() -> ec168_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->authorized | 1 |
| PARAM_VALUE | 0 | d->intf->condition | 1 |
| PARAM_VALUE | 0 | d->intf->cur_altsetting | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->needs_altsetting0 | 0 |
| PARAM_VALUE | 0 | d->intf->needs_binding | 0 |
| PARAM_VALUE | 0 | d->props | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->download_firmware | 1-u64max |
| PARAM_VALUE | 0 | d->props->identify_state | 1-u64max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->size_of_priv | 0-4000000 |
| PARAM_VALUE | 0 | d->udev->bus->sysdev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | d->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->parent->bus->sysdev->iommu->attach_deferred | 0-1 |
| 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 | s32min-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *d->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | req | 3043734787602329600 |
| PARAM_VALUE | 1 | req->cmd | 50 |
| PARAM_VALUE | 1 | req->index | 1 |
| PARAM_VALUE | 1 | req->size | 0 |
| PARAM_VALUE | 1 | req->value | 0 |
| BUF_SIZE | 0 | d | 9920 |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| CAPPED_DATA | 0 | d->props->bInterfaceNumber | 1 |
| DATA_SOURCE | 0 | d | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/usb/dvb-usb-v2/ec168.c ec168_download_firmware() -> ec168_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->authorized | 1 |
| PARAM_VALUE | 0 | d->intf->condition | 1 |
| PARAM_VALUE | 0 | d->intf->cur_altsetting | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->needs_altsetting0 | 0 |
| PARAM_VALUE | 0 | d->intf->needs_binding | 0 |
| PARAM_VALUE | 0 | d->props | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->download_firmware | 1-u64max |
| PARAM_VALUE | 0 | d->props->identify_state | 1-u64max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->size_of_priv | 0-4000000 |
| PARAM_VALUE | 0 | d->udev->bus->sysdev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | d->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->parent->bus->sysdev->iommu->attach_deferred | 0-1 |
| 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 | s32min-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *d->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | req | 3043734787602329600 |
| PARAM_VALUE | 1 | req->cmd | 4 |
| PARAM_VALUE | 1 | req->index | 518 |
| PARAM_VALUE | 1 | req->size | 0 |
| PARAM_VALUE | 1 | req->value | 0 |
| BUF_SIZE | 0 | d | 9920 |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| CAPPED_DATA | 0 | d->props->bInterfaceNumber | 1 |
| DATA_SOURCE | 0 | d | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/usb/dvb-usb-v2/ec168.c ec168_download_firmware() -> ec168_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->authorized | 1 |
| PARAM_VALUE | 0 | d->intf->condition | 1 |
| PARAM_VALUE | 0 | d->intf->cur_altsetting | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->needs_altsetting0 | 0 |
| PARAM_VALUE | 0 | d->intf->needs_binding | 0 |
| PARAM_VALUE | 0 | d->props | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->download_firmware | 1-u64max |
| PARAM_VALUE | 0 | d->props->identify_state | 1-u64max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->size_of_priv | 0-4000000 |
| PARAM_VALUE | 0 | d->udev->bus->sysdev->iommu->attach_deferred | 0-1 |
| PARAM_VALUE | 0 | d->udev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | d->udev->parent->bus->sysdev->iommu->attach_deferred | 0-1 |
| 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 | s32min-s32max |
| PARAM_VALUE | 0 | d->usb_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *d->udev->toggle | 0-4294967295 |
| PARAM_VALUE | 1 | req | 3043734787602329600 |
| PARAM_VALUE | 1 | req->cmd | 33 |
| PARAM_VALUE | 1 | req->index | 198 |
| PARAM_VALUE | 1 | req->size | 0 |
| PARAM_VALUE | 1 | req->value | 0 |
| BUF_SIZE | 0 | d | 9920 |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| CAPPED_DATA | 0 | d->props->bInterfaceNumber | 1 |
| DATA_SOURCE | 0 | d | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/usb/dvb-usb-v2/ec168.c ec168_i2c_xfer() -> ec168_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 | req | 1129144171432017920 |
| PARAM_VALUE | 1 | req->cmd | 51 |
| PARAM_VALUE | 1 | req->data | 4096-ptr_max |
| PARAM_VALUE | 1 | req->value | 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 |
| LOCK2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->i2c_mutex |
drivers/media/usb/dvb-usb-v2/ec168.c ec168_i2c_xfer() -> ec168_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 | req | 1129144171432017920 |
| PARAM_VALUE | 1 | req->cmd | 52 |
| PARAM_VALUE | 1 | req->data | 0 |
| PARAM_VALUE | 1 | req->size | 0 |
| PARAM_VALUE | 1 | req->value | 0-255 |
| 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 |
| LOCK2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->i2c_mutex |
drivers/media/usb/dvb-usb-v2/ec168.c ec168_i2c_xfer() -> ec168_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 | req | 1129144171432017920 |
| PARAM_VALUE | 1 | req->cmd | 33 |
| PARAM_VALUE | 1 | req->data | 4096-ptr_max |
| PARAM_VALUE | 1 | req->size | 0-65534 |
| PARAM_VALUE | 1 | req->value | 0-255 |
| 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 |
| LOCK2 | 0 | &d->i2c_mutex | |
| TYPE_LOCK | (struct dvb_usb_device)->i2c_mutex |
drivers/media/usb/dvb-usb-v2/ec168.c ec168_identify_state() -> ec168_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | d | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->i2c_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | d->i2c_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->i2c_mutex.owner.counter | 0 |
| PARAM_VALUE | 0 | d->intf | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->authorized | 1 |
| PARAM_VALUE | 0 | d->intf->condition | 1 |
| PARAM_VALUE | 0 | d->intf->cur_altsetting | 4096-ptr_max |
| PARAM_VALUE | 0 | d->intf->needs_altsetting0 | 0 |
| PARAM_VALUE | 0 | d->intf->needs_binding | 0 |
| PARAM_VALUE | 0 | d->props | 4096-ptr_max |
| PARAM_VALUE | 0 | d->props->identify_state | 1-u64max |
| PARAM_VALUE | 0 | d->props->probe | 0,728658446828941312,3941680638007918592 |
| PARAM_VALUE | 0 | d->props->size_of_priv | 0-4000000 |
| PARAM_VALUE | 0 | d->usb_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | d->usb_mutex.first_waiter | 0 |
| PARAM_VALUE | 0 | d->usb_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | d->usb_mutex.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | d->usb_mutex.owner.counter | 0 |
| PARAM_VALUE | 1 | req | 7994651417179033600 |
| PARAM_VALUE | 1 | req->cmd | 49 |
| PARAM_VALUE | 1 | req->data | 6400295458704695296 |
| PARAM_VALUE | 1 | req->index | 1 |
| PARAM_VALUE | 1 | req->size | 1 |
| PARAM_VALUE | 1 | req->value | 0 |
| BUF_SIZE | 0 | d | 9920 |
| BUF_SIZE | 0 | d->priv | (-1),1-s32max |
| CAPPED_DATA | 0 | d->props->bInterfaceNumber | 1 |
| DATA_SOURCE | 0 | d | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/media/usb/dvb-usb-v2/ec168.c ec168_streaming_ctrl() -> ec168_ctrl_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | req | 2078884397780295680 |
| PARAM_VALUE | 1 | req->cmd | 16 |
| PARAM_VALUE | 1 | req->data | 0 |
| PARAM_VALUE | 1 | req->index | 258,514 |
| PARAM_VALUE | 1 | req->size | 0 |
| PARAM_VALUE | 1 | req->value | 32513 |
| RX_PATH | |||
| TASK_NOT_RUNNING |