Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/usb/serial/io_ti.c do_download_mode() -> write_rom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | serial | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->TI_I2C_Type | 130 |
| PARAM_VALUE | 0 | serial->es_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | serial->es_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | serial->es_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->es_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | serial->es_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | serial->product_info.TiMode | 2 |
| PARAM_VALUE | 0 | serial->product_info.hardware_type | 1 |
| PARAM_VALUE | 0 | serial->serial | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->dev->config->desc.bNumInterfaces | 1 |
| PARAM_VALUE | 0 | serial->serial->disc_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->interface->cur_altsetting->desc.bNumEndpoints | 2-255 |
| PARAM_VALUE | 0 | serial->serial->interface->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->interface->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->interface->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | serial->serial->minors_reserved | 0 |
| PARAM_VALUE | 0 | serial->serial->num_ports | 0-16 |
| PARAM_VALUE | 0 | serial->serial->sibling | 0,4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->type | 4096-ptr_max |
| PARAM_VALUE | 1 | start_address | 2,6-16383 |
| PARAM_VALUE | 2 | length | 1 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | *buffer | 242 |
| BUF_SIZE | 0 | serial | 368 |
| BUF_SIZE | 3 | buffer | 1 |
| CAPPED_DATA | 0 | serial->serial->num_port_pointers | 1 |
| CAPPED_DATA | 0 | serial->serial->num_ports | 1 |
| DATA_SOURCE | 0 | serial | $0 |
| DATA_SOURCE | 1 | start_address | r get_descriptor_addr |
| DATA_SOURCE | 3 | buffer | r _kmalloc_noprof |
| FUZZY_MAX | 0 | serial->serial->interface->cur_altsetting->desc.bNumEndpoints | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | start_address | unit_byte |
| UNITS | 2 | length | unit_byte |
drivers/usb/serial/io_ti.c do_download_mode() -> write_rom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | serial | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->TI_I2C_Type | 130 |
| PARAM_VALUE | 0 | serial->es_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | serial->es_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | serial->es_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->es_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | serial->es_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | serial->product_info.TiMode | 2 |
| PARAM_VALUE | 0 | serial->product_info.hardware_type | 1 |
| PARAM_VALUE | 0 | serial->serial | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->dev->config | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->dev->config->desc.bNumInterfaces | 1 |
| PARAM_VALUE | 0 | serial->serial->disc_mutex.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->interface | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->interface->cur_altsetting->desc.bNumEndpoints | 2-255 |
| PARAM_VALUE | 0 | serial->serial->interface->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->interface->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->interface->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | serial->serial->minors_reserved | 0 |
| PARAM_VALUE | 0 | serial->serial->num_ports | 0-16 |
| PARAM_VALUE | 0 | serial->serial->sibling | 0,4096-ptr_max |
| PARAM_VALUE | 0 | serial->serial->type | 4096-ptr_max |
| PARAM_VALUE | 1 | start_address | 2,6-16383 |
| PARAM_VALUE | 2 | length | 6 |
| PARAM_VALUE | 3 | buffer | 4096-ptr_max |
| PARAM_VALUE | 3 | buffer->CheckSum | 0-255 |
| PARAM_VALUE | 3 | buffer->Data->Ver_Major | 0-255 |
| PARAM_VALUE | 3 | buffer->Data->Ver_Minor | 0-255 |
| PARAM_VALUE | 3 | buffer->Size | 15874 |
| PARAM_VALUE | 3 | buffer->Type | 242 |
| BUF_SIZE | 0 | serial | 368 |
| BUF_SIZE | 3 | buffer | 6 |
| BUF_SIZE | 3 | buffer | 6 |
| CAPPED_DATA | 0 | serial->serial->num_port_pointers | 1 |
| CAPPED_DATA | 0 | serial->serial->num_ports | 1 |
| DATA_SOURCE | 0 | serial | $0 |
| DATA_SOURCE | 1 | start_address | r get_descriptor_addr |
| DATA_SOURCE | 3 | buffer | r _kmalloc_noprof |
| FUZZY_MAX | 0 | serial->serial->interface->cur_altsetting->desc.bNumEndpoints | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | length | unit_byte |