Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/auxdisplay/line-display.c linedisp_display() -> (struct linedisp_ops)->update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | linedisp | 4096-ptr_max |
| PARAM_VALUE | 0 | linedisp->id | 0-s32max |
| PARAM_VALUE | 0 | linedisp->message | 0 |
| PARAM_VALUE | 0 | linedisp->message_len | 0 |
| PARAM_VALUE | 0 | linedisp->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | linedisp->ops->get_map_type | 0,1359482289268789248,5484989277804343296,7718962438745235456 |
| PARAM_VALUE | 0 | linedisp->scroll_rate | 0-536870912,4294967294 |
| PARAM_VALUE | 0 | linedisp->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | linedisp->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | linedisp->timer.function | 0 |
| BUF_SIZE | 0 | linedisp | (-1),1760 |
| BUF_SIZE | 0 | linedisp | (-1),1760 |
| CAPPED_DATA | 0 | &linedisp->timer | 1 |
| DATA_SOURCE | 0 | linedisp | $0 |
| STR_LEN | 0 | linedisp | (-1)-0 |
| STR_LEN | 0 | linedisp | (-1)-0 |
| CONTAINER | 0 | -8-1704+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
drivers/auxdisplay/line-display.c linedisp_display() -> (struct linedisp_ops)->update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | linedisp | 4096-ptr_max |
| PARAM_VALUE | 0 | linedisp->id | 0-s32max |
| PARAM_VALUE | 0 | linedisp->message | 4096-ptr_max |
| PARAM_VALUE | 0 | linedisp->message_len | 1-1000000000 |
| PARAM_VALUE | 0 | linedisp->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | linedisp->ops->get_map_type | 0,1359482289268789248,5484989277804343296,7718962438745235456 |
| PARAM_VALUE | 0 | linedisp->scroll_pos | 0 |
| PARAM_VALUE | 0 | linedisp->scroll_rate | 0-536870912,4294967294 |
| PARAM_VALUE | 0 | linedisp->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | linedisp->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | linedisp->timer.function | 0 |
| BUF_SIZE | 0 | linedisp | (-1),1760 |
| BUF_SIZE | 0 | linedisp | (-1),1760 |
| CAPPED_DATA | 0 | linedisp->message_len | 1 |
| CAPPED_DATA | 0 | linedisp->num_chars | 1 |
| CAPPED_DATA | 0 | &linedisp->timer | 1 |
| DATA_SOURCE | 0 | linedisp | $0 |
| STR_LEN | 0 | linedisp | (-1)-0 |
| STR_LEN | 0 | linedisp | (-1)-0 |
| CONTAINER | 0 | -8-1704+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
drivers/auxdisplay/line-display.c linedisp_scroll() -> (struct linedisp_ops)->update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | linedisp | 4096-ptr_max |
| PARAM_VALUE | 0 | linedisp->message_len | 0-1000000000 |
| PARAM_VALUE | 0 | linedisp->ops | 4096-ptr_max |
| CONTAINER | 0 | -8-1704+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |