Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/nouveau/nouveau_gem.c nouveau_gem_ioctl_pushbuf() -> validate_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.next | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | op->ticket.done_acquire | 1 |
| PARAM_VALUE | 0 | op->ticket.wounded | 0-1 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->killed.counter | 0 |
| PARAM_VALUE | 2 | fence | 0 |
| PARAM_VALUE | 3 | pbbo | 16,4096-ptr_max |
| BUF_SIZE | 3 | pbbo | s32min-s32max |
| CAPPED_DATA | 1 | chan->chid | 1 |
| DATA_SOURCE | 3 | pbbo | r u_memcpya |
| NOCHECK_CALL | |||
| USER_DATA | 3 | pbbo->handle | 0-u32max |
| USER_DATA | 3 | pbbo->read_domains | 0-u32max |
| USER_DATA | 3 | pbbo->user_priv | 0-u64max |
| USER_DATA | 3 | pbbo->valid_domains | 0-u32max |
| USER_DATA | 3 | pbbo->write_domains | 0-u32max |
| USER_DATA | 3 | *pbbo | s64min-s64max |
| USER_PTR | 3 | pbbo | |
| LOCK2 | &file_priv->driver_priv->mutex |
drivers/gpu/drm/nouveau/nouveau_gem.c nouveau_gem_ioctl_pushbuf() -> validate_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.next | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | op->ticket.done_acquire | 1 |
| PARAM_VALUE | 0 | op->ticket.wounded | 0-1 |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->chan.func->gpfifo.post | 0,6579321081391046656 |
| PARAM_VALUE | 1 | chan->chan.func->gpfifo.push | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->killed.counter | 0 |
| PARAM_VALUE | 2 | fence | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fence->base.context | 0-4294967295 |
| PARAM_VALUE | 2 | fence->base.error | s32min-s32max |
| PARAM_VALUE | 2 | fence->base.ops->enable_signaling | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fence->base.ops->get_driver_name | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fence->base.ops->get_timeline_name | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fence->base.ops->release | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fence->base.ops->set_deadline | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fence->base.ops->signaled | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fence->base.ops->wait | 0,4096-ptr_max |
| PARAM_VALUE | 2 | fence->base.seqno | 0-4294967295 |
| PARAM_VALUE | 2 | fence->channel->chan.push.bgn | 4098-s64max |
| PARAM_VALUE | 2 | fence->channel->fence->event.object->client->object.priv->data | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | fence->channel->fence->fence_ref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | fence->channel->fence->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | fence->channel->fence->sequence | 0-4294967295 |
| PARAM_VALUE | 2 | fence->channel->nvsw->client->object.priv->data | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 3 | pbbo | 16,4096-ptr_max |
| BUF_SIZE | 3 | pbbo | s32min-s32max |
| CAPPED_DATA | 1 | chan->chid | 1 |
| DATA_SOURCE | 3 | pbbo | r u_memcpya |
| NOCHECK_CALL | |||
| USER_DATA | 3 | pbbo->handle | 0-u32max |
| USER_DATA | 3 | pbbo->read_domains | 0-u32max |
| USER_DATA | 3 | pbbo->user_priv | 0-u64max |
| USER_DATA | 3 | pbbo->valid_domains | 0-u32max |
| USER_DATA | 3 | pbbo->write_domains | 0-u32max |
| USER_DATA | 3 | *pbbo | s64min-s64max |
| USER_PTR | 3 | pbbo | |
| LOCK2 | &file_priv->driver_priv->mutex |
drivers/gpu/drm/nouveau/nouveau_gem.c nouveau_gem_pushbuf_validate() -> validate_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.next | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.next->next | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | op->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | op->list.prev->prev | 3618475209504833536 |
| PARAM_VALUE | 0 | op->ticket.contending_lock | 0 |
| PARAM_VALUE | 0 | op->ticket.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | op->ticket.done_acquire | 1 |
| PARAM_VALUE | 0 | op->ticket.first_lock_dep_map->name | 0-255 |
| PARAM_VALUE | 0 | op->ticket.wounded | 0-1 |
| PARAM_VALUE | 0 | op->ticket.ww_class->acquire_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | op->ticket.ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 0 | op->ticket.ww_class->mutex_name | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->cli | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->killed.counter | 0 |
| PARAM_VALUE | 2 | fence | 0 |
| PARAM_VALUE | 3 | pbbo | 0 |
| CAPPED_DATA | 1 | chan | 1 |
| CAPPED_DATA | 1 | chan->chid | 1 |
| DATA_SOURCE | 0 | op | $4 |
| DATA_SOURCE | 1 | chan | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &file_priv->driver_priv->mutex |
drivers/gpu/drm/nouveau/nouveau_gem.c validate_init() -> validate_fini()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.next | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.next->next | 3618475209504833536 |
| PARAM_VALUE | 0 | op->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | op->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | op->list.prev->prev | 3618475209504833536 |
| PARAM_VALUE | 0 | op->ticket.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | op->ticket.done_acquire | 1 |
| PARAM_VALUE | 0 | op->ticket.first_lock_dep_map->name | 0-255 |
| PARAM_VALUE | 0 | op->ticket.wounded | 0-1 |
| PARAM_VALUE | 0 | op->ticket.ww_class->acquire_name | 0,4096-ptr_max |
| PARAM_VALUE | 0 | op->ticket.ww_class->is_wait_die | 0-s32max |
| PARAM_VALUE | 0 | op->ticket.ww_class->mutex_name | 0,4096-ptr_max |
| PARAM_VALUE | 1 | chan | 4096-ptr_max |
| PARAM_VALUE | 1 | chan->killed.counter | 0 |
| PARAM_VALUE | 2 | fence | 0 |
| PARAM_VALUE | 3 | pbbo | 0 |
| CAPPED_DATA | 1 | chan | 1 |
| CAPPED_DATA | 1 | chan->chid | 1 |
| DATA_SOURCE | 0 | op | $4 |
| DATA_SOURCE | 1 | chan | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &file_priv->driver_priv->mutex |