Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/input/touchscreen/atmel_mxt_ts.c mxt_process_messages() -> mxt_read_and_process_messages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->T44_address | 0 |
| PARAM_VALUE | 0 | data->in_bootloader | 0 |
| PARAM_VALUE | 0 | data->object_table | 1-u64max |
| CAPPED_DATA | 1 | count | 1 |
| DATA_SOURCE | 0 | data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/input/touchscreen/atmel_mxt_ts.c mxt_process_messages() -> mxt_read_and_process_messages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->T44_address | 0 |
| PARAM_VALUE | 0 | data->client->adapter->algo->master_xfer | 1-u64max |
| PARAM_VALUE | 0 | data->client->adapter->bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | data->client->adapter->bus_lock.rtmutex.owner | 0-1 |
| PARAM_VALUE | 0 | data->client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right | 0 |
| PARAM_VALUE | 0 | data->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | data->client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | data->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | data->client->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | data->in_bootloader | 0 |
| PARAM_VALUE | 0 | data->object_table | 1-u64max |
| PARAM_VALUE | 0 | *data->input_dev->rep | s32min-s32max |
| PARAM_VALUE | 1 | count | 2 |
| DATA_SOURCE | 0 | data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/input/touchscreen/atmel_mxt_ts.c mxt_process_messages_t44() -> mxt_read_and_process_messages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->T44_address | 1-u16max |
| PARAM_VALUE | 0 | data->client | 4096-ptr_max |
| PARAM_VALUE | 0 | data->client->adapter | 4096-ptr_max |
| PARAM_VALUE | 0 | data->client->adapter->algo->master_xfer | 1-u64max |
| PARAM_VALUE | 0 | data->client->adapter->bus_lock.rtmutex.owner | 0-1 |
| PARAM_VALUE | 0 | data->client->adapter->bus_lock.rtmutex.waiters.rb_leftmost->rb_right | 0 |
| PARAM_VALUE | 0 | data->client->adapter->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | data->client->adapter->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | data->client->adapter->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | data->client->adapter->lock_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | data->in_bootloader | 0 |
| PARAM_VALUE | 0 | data->msg_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | data->object_table | 1-u64max |
| PARAM_VALUE | 1 | count | 1-255 |
| CAPPED_DATA | 0 | data->max_reportid | 1 |
| CAPPED_DATA | 1 | count | 1 |
| DATA_SOURCE | 0 | data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/input/touchscreen/atmel_mxt_ts.c mxt_process_messages_until_invalid() -> mxt_read_and_process_messages()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->dbg.vdev.dev.kobj.parent->sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | data->dbg.vdev.dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | data->dbg.vdev.dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | data->use_retrigen_workaround | 1 |
| PARAM_VALUE | 0 | *data->input_dev->rep | s32min-s32max |
| BUF_SIZE | 0 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | data | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | data->reset_gpio | s32min,(-1),1-s32max |
| BUF_SIZE | 0 | data->wake_gpio | s32min,(-1),1-s32max |
| CAPPED_DATA | 1 | count | 1 |
| DATA_SOURCE | 0 | data | $0 |
| STR_LEN | 0 | data->phys | (-1),63 |
| PARAM_COMPARE | 1 | count | <= $0->max_reportid |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | data->client->irq | |
| NO_OVERFLOW_SIMPLE | 0 | data->irq | |
| NO_OVERFLOW_SIMPLE | 0 | data->t15_num_keys | |
| NO_OVERFLOW_SIMPLE | 0 | data->t19_num_keys | |
| UNITS | 0 | data | unit_byte |