Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/input/rmi4/rmi_f34v7.c rmi_f34v7_check_command_status() -> rmi_f34v7_read_flash_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f34 | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->bl_version | 7-255 |
| PARAM_VALUE | 0 | f34->fn | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->dev.driver_data->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->dev.driver_data->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->xport | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->xport->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->xport->ops->read_block | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->xport->ops->write_block | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->update_size | 0-130050 |
| PARAM_VALUE | 0 | f34->v7.cmd_done.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.command | 1-5 |
| PARAM_VALUE | 0 | f34->v7.config_area | 0,2-4 |
| PARAM_VALUE | 0 | f34->v7.flash_status | 0-31 |
| PARAM_VALUE | 0 | f34->v7.image | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.image->major_header_version | 16 |
| PARAM_VALUE | 0 | f34->v7.img.bootloader.data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.img.bootloader_size | 0 |
| PARAM_VALUE | 0 | f34->v7.img.contains_bootloader | 0 |
| PARAM_VALUE | 0 | f34->v7.img.display_cfg_offset | 0 |
| PARAM_VALUE | 0 | f34->v7.img.firmware_id | 0-255 |
| PARAM_VALUE | 0 | f34->v7.read_config_buf_size | 0-u16max |
| PARAM_VALUE | 0 | *f34->v7.img.bootloader.data | 0-255 |
| BUF_SIZE | 0 | f34 | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | f34 | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | f34->v7.config_data | (-1)-u16max |
| BUF_SIZE | 0 | f34->v7.image | 1-s32max |
| BUF_SIZE | 0 | f34->v7.read_config_buf | (-1)-u16max |
| CAPPED_DATA | 0 | f34->v7.partitions | 1 |
| DATA_SOURCE | 0 | f34 | $0 |
| FUZZY_MAX | 0 | f34->bl_version | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | f34 | unit_byte |
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/input/rmi4/rmi_f34v7.c rmi_f34v7_enter_flash_prog() -> rmi_f34v7_read_flash_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f34 | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->bl_version | 7-8 |
| PARAM_VALUE | 0 | f34->fn | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->dev.driver_data->irq_count | 0-s32max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->dev.driver_data->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->dev.driver_data->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->dev.driver_data->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.config_area | 0 |
| PARAM_VALUE | 0 | f34->v7.image | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.image->major_header_version | 16 |
| PARAM_VALUE | 0 | f34->v7.img.bootloader.data | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.img.bootloader_size | 0 |
| PARAM_VALUE | 0 | f34->v7.img.contains_bootloader | 0 |
| PARAM_VALUE | 0 | f34->v7.img.contains_display_cfg | 1 |
| PARAM_VALUE | 0 | f34->v7.img.contains_firmware_id | 1 |
| PARAM_VALUE | 0 | f34->v7.img.contains_flash_config | 1 |
| PARAM_VALUE | 0 | f34->v7.img.contains_guest_code | 1 |
| PARAM_VALUE | 0 | f34->v7.img.display_cfg_offset | 0 |
| PARAM_VALUE | 0 | f34->v7.img.firmware_id | 0-255 |
| PARAM_VALUE | 0 | *f34->v7.img.bootloader.data | 0-255 |
| BUF_SIZE | 0 | f34 | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | f34 | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | f34->v7.image | 1-s32max |
| CAPPED_DATA | 0 | f34->v7.partitions | 1 |
| DATA_SOURCE | 0 | f34 | $0 |
| FUZZY_MAX | 0 | f34->bl_version | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | f34 | unit_byte |
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/input/rmi4/rmi_f34v7.c rmi_f34v7_read_partition_table() -> rmi_f34v7_read_flash_status()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | f34 | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->bl_version | 5-8 |
| PARAM_VALUE | 0 | f34->configuration_id | 0 |
| PARAM_VALUE | 0 | f34->fn | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->dev.of_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->fd.function_version | 1-255 |
| PARAM_VALUE | 0 | f34->fn->rmi_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->xport | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->xport->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->xport->ops->read_block | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->fn->rmi_dev->xport->ops->write_block | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.done | 0 |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.config_area | 4 |
| PARAM_VALUE | 0 | f34->v7.flash_status | 0-31 |
| PARAM_VALUE | 0 | f34->v7.partition_table_bytes | 2-2042 |
| PARAM_VALUE | 0 | f34->v7.read_config_buf | 1-u64max |
| PARAM_VALUE | 0 | f34->v7.read_config_buf_size | 2-2042 |
| BUF_SIZE | 0 | f34->v7.read_config_buf | 2-2042 |
| DATA_SOURCE | 0 | f34 | $0 |
| FUZZY_MAX | 0 | f34->bl_version | 8 |
| FUZZY_MAX | 0 | f34->v7.flash_status | 0 |
| STR_LEN | 0 | f34->configuration_id | (-1),64 |
| HARD_MAX | 0 | f34->bl_version | 8 |
| MEM_ZERO | 0 | f34 | |
| MEM_ZERO | 0 | f34->v7.cmd_done.wait.lock.dep_map.key | |
| MEM_ZERO | 0 | f34->v7.cmd_done.wait.lock.dep_map.name | |
| MEM_ZERO | 0 | f34->v7.read_config_buf | |
| MEM_ZERO | 0 | &f34->v7.blkcount | |
| MEM_ZERO | 0 | &f34->v7.phyaddr | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |