Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/input/rmi4/rmi_f34v7.c rmi_f34v7_enter_flash_prog() -> rmi_f34v7_check_command_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->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->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.command | 1,4-5 |
| PARAM_VALUE | 0 | f34->v7.config_area | 0 |
| 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 | 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.in_bl_mode | 0 |
| PARAM_VALUE | 0 | *f34->v7.img.bootloader.data | 0-255 |
| PARAM_VALUE | 1 | timeout_ms | 300 |
| 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_erase_all() -> rmi_f34v7_check_command_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_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.first_waiter->list.prev->prev | 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->update_progress | 0 |
| PARAM_VALUE | 0 | f34->update_size | 0-u16max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.prev->prev | 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.command | 1,4-5 |
| 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 |
| PARAM_VALUE | 1 | timeout_ms | 5000 |
| 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.blkcount.bl_config | 1 |
| 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_blocks() -> rmi_f34v7_check_command_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.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.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.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.first_waiter->list.prev->prev | 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_progress | 0 |
| PARAM_VALUE | 0 | f34->update_size | 0-u16max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v7.cmd_done.done | 0 |
| 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.lock.raw_lock.val.counter | 0-s32max |
| 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->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 | 2-3 |
| PARAM_VALUE | 0 | f34->v7.config_area | 2 |
| PARAM_VALUE | 0 | f34->v7.flash_status | 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.read_config_buf | 1-u64max |
| PARAM_VALUE | 0 | f34->v7.read_config_buf_size | 0-u16max |
| PARAM_VALUE | 0 | *f34->v7.img.bootloader.data | 0-255 |
| PARAM_VALUE | 1 | timeout_ms | 300 |
| BUF_SIZE | 0 | f34 | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | f34 | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | f34->v7.image | 1-s32max |
| BUF_SIZE | 0 | f34->v7.read_config_buf | 0-u16max |
| CAPPED_DATA | 0 | f34->v7.blkcount.bl_config | 1 |
| CAPPED_DATA | 0 | f34->v7.partitions | 1 |
| DATA_SOURCE | 0 | f34 | $0 |
| FUZZY_MAX | 0 | f34->bl_version | 7 |
| MEM_ZERO | 0 | f34->v7.read_config_buf | |
| 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_write_f34v7_blocks() -> rmi_f34v7_check_command_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.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.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.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.first_waiter->list.prev->prev | 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-u16max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | f34->v5.cmd_done.wait.task_list.prev->prev | 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.command | 2-3 |
| PARAM_VALUE | 0 | f34->v7.config_area | 0,2-4 |
| PARAM_VALUE | 0 | f34->v7.flash_status | 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.read_config_buf | 1-u64max |
| PARAM_VALUE | 0 | f34->v7.read_config_buf_size | 0-u16max |
| PARAM_VALUE | 0 | *f34->v7.img.bootloader.data | 0-255 |
| PARAM_VALUE | 1 | timeout_ms | 300 |
| 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.blkcount.bl_config | 1 |
| CAPPED_DATA | 0 | f34->v7.blkcount.fl_config | 1 |
| 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 |