Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/lima/lima_drv.c lima_error_state_read() -> lima_read_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reader | 4651227502444654592 |
| PARAM_VALUE | 0 | reader->base | 0 |
| PARAM_VALUE | 0 | reader->count | 1-4096 |
| PARAM_VALUE | 0 | reader->dst | 1-u64max |
| PARAM_VALUE | 0 | reader->read | 0 |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 2 | src_size | 32 |
| BUF_SIZE | 1 | src | 32 |
| NOSPEC | 0 | reader->count | |
| NOSPEC | 0 | reader->off | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | reader->count | 1-4096[c] |
| USER_DATA | 0 | reader->off | 0-4095 |
| UNITS | 2 | src_size | unit_byte |
| LOCK2 | &ldev->error_task_list_lock | ||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex | ||
| TYPE_LOCK | (struct lima_device)->error_task_list_lock |
drivers/gpu/drm/lima/lima_drv.c lima_error_state_read() -> lima_read_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | reader | 4651227502444654592 |
| NOSPEC | 0 | reader->count | |
| NOSPEC | 0 | reader->off | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | reader->count | 1-4096[c] |
| USER_DATA | 0 | reader->off | 1-9223372036854779901 |
| USER_DATA | 0 | reader->read | s64min-(-9223372036854775778),1-s64max[c][u] |
| UNITS | 2 | src_size | unit_byte |
| LOCK2 | &ldev->error_task_list_lock | ||
| LOCK2 | &of->mutex | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex | ||
| TYPE_LOCK | (struct lima_device)->error_task_list_lock |