Defined in 2 files as a function:
- drivers/gpu/drm/etnaviv/etnaviv_buffer.c, line 50 (as a function)
- drivers/gpu/drm/etnaviv/etnaviv_drv.c, line 181 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/etnaviv/etnaviv_drv.c etnaviv_ring_show() -> etnaviv_buffer_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpu | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | gpu->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | gpu->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | gpu->mmu_context->global->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 1 | buf->buf | 1-u64max |
| PARAM_VALUE | 1 | buf->from | 0 |
| PARAM_VALUE | 1 | buf->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | buf->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 1 | buf->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | buf->lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | buf->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | buf->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | buf->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 1 | buf->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | buf->op | 4096-ptr_max |
| PARAM_VALUE | 1 | buf->private | 4096-ptr_max |
| BUF_SIZE | 1 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | buf | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | buf->buf | (-1)-2147479552 |
| CAPPED_DATA | 0 | &gpu->lock | 1 |
| CAPPED_DATA | 1 | buf->size | 1 |
| DATA_SOURCE | 0 | gpu | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | buf->read_pos | 0-13442450941 |
| LOCK2 | 0 | &gpu->lock | |
| LOCK2 | 1 | &buf->lock | |
| TYPE_LOCK | (struct etnaviv_gpu)->lock | ||
| TYPE_LOCK | (struct seq_file)->lock |
drivers/gpu/drm/etnaviv/etnaviv_buffer.c etnaviv_buffer_queue() -> etnaviv_buffer_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpu | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | gpu->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | gpu->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | gpu->dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->event | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->event_free.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | gpu->event_free.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->event_free.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | gpu->event_free.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | gpu->event_free.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->event_free.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->event_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->identity.minor_features5 | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 0 | gpu->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | gpu->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | gpu->mmu_context | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->state | 0-2,4-u32max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | off | 0 |
| PARAM_VALUE | 3 | len | 80 |
| BUF_SIZE | 1 | buf | 32 |
| CAPPED_DATA | 0 | gpu->mmu_context | 1 |
| DATA_SOURCE | 0 | gpu | $0 |
| PARAM_COMPARE | 0 | &gpu->buffer | == $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &gpu->lock | |
| HALF_LOCKED2 | &adev->reset_domain->sem | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &guc->submission_state.lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sched->job_list_lock | ||
| TYPE_LOCK | (struct etnaviv_gpu)->lock |
drivers/gpu/drm/etnaviv/etnaviv_buffer.c etnaviv_buffer_queue() -> etnaviv_buffer_dump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpu | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->buffer.size | 5-u32max |
| PARAM_VALUE | 0 | gpu->buffer.user_size | 4,8 |
| PARAM_VALUE | 0 | gpu->buffer.vaddr | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->dev->power.request | 0-4 |
| PARAM_VALUE | 0 | gpu->dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | gpu->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | gpu->dev->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->event | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->event_free.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | gpu->event_free.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->event_free.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | gpu->event_free.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | gpu->event_free.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->event_free.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->event_spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->identity.minor_features5 | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 0 | gpu->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpu->lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | gpu->lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | gpu->lock.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | gpu->mmu_context | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->mmu_context->global->ops->restore | 4096-ptr_max |
| PARAM_VALUE | 0 | gpu->state | 0-2,4-u32max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 1 | buf->size | 5-u32max |
| PARAM_VALUE | 1 | buf->user_size | 4,8 |
| PARAM_VALUE | 1 | buf->vaddr | 4096-ptr_max |
| PARAM_VALUE | 2 | off | 0 |
| PARAM_VALUE | 3 | len | 80 |
| BUF_SIZE | 1 | buf | 32 |
| CAPPED_DATA | 1 | buf->size | 1 |
| DATA_SOURCE | 0 | gpu | $0 |
| PARAM_COMPARE | 0 | &gpu->buffer | == $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &gpu->lock | |
| HALF_LOCKED2 | &adev->reset_domain->sem | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &guc->submission_state.lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sched->job_list_lock | ||
| TYPE_LOCK | (struct etnaviv_gpu)->lock |