Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/input/rmi4/rmi_driver.c rmi_driver_probe() -> rmi_free_function_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rmi_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->attn_fifo.kfifo.out | 0-4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->dev.power.completion.done | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->fd.function_number | 1-254 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->fd.function_version | 0-3 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->fd.interrupt_source_count | 0-7 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->irq_pos | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->num_of_irqs | 0-7 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->dev.power.completion.done | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->fd.function_number | 1-254 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->fd.function_version | 0-3 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->fd.interrupt_source_count | 0-7 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->irq_pos | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->num_of_irqs | 0-7 |
| PARAM_VALUE | 0 | rmi_dev->dev.kobj.sd | 1-u64max |
| PARAM_VALUE | 0 | rmi_dev->dev.kobj.sd->__parent | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | rmi_dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->xport | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->xport->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->xport->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->xport->ops->read_block | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/input/rmi4/rmi_driver.c rmi_driver_remove() -> rmi_free_function_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rmi_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->attn_fifo.kfifo.out | 0-4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.kobj.sd | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.kobj.sd->__parent | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/input/rmi4/rmi_driver.c rmi_init_functions() -> rmi_free_function_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rmi_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->dev.power.completion.done | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->fd.function_number | 1-254 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->fd.function_version | 0-3 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->fd.interrupt_source_count | 0-7 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->irq_pos | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container->num_of_irqs | 0-7 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->dev.power.completion.done | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->fd.function_number | 1-254 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->fd.function_version | 0-3 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->fd.interrupt_source_count | 0-7 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->irq_pos | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container->num_of_irqs | 0-7 |
| PARAM_VALUE | 0 | rmi_dev->xport | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->xport->ops->read_block | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
drivers/input/rmi4/rmi_f34.c rmi_firmware_update() -> rmi_free_function_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rmi_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->attn_fifo.kfifo.out | 0-4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.osq.tail.counter | 0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
drivers/input/rmi4/rmi_f34.c rmi_firmware_update() -> rmi_free_function_list()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rmi_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->attn_fifo.kfifo.out | 0-4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->current_irq_mask | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled | 0-1 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->enabled_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f01_container | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->f34_container | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->fn_irq_bits | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->input->grab->open | s32min-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->input->grab->private->inactivity_work.cpu | s32min-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->input->mt->slot | 0-2147483646 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->input->num_vals | 0-4294967294 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->input->repeat_key | 0-4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_count | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_memory | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->irq_status | 0 |
| PARAM_VALUE | 0 | rmi_dev->dev.driver_data->new_irq_mask | 0 |
| PARAM_VALUE | 0 | *rmi_dev->dev.driver_data->input->rep | 0-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |