Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/nouveau/nouveau_gem.c nouveau_gem_pushbuf_validate() -> validate_init()

Type Parameter Key Value
PARAM_VALUE 0 chan 4096-ptr_max
PARAM_VALUE 0 chan->killed.counter 0
PARAM_VALUE 1 file_priv 4096-ptr_max
PARAM_VALUE 1 file_priv->driver_priv 4096-ptr_max
PARAM_VALUE 1 file_priv->master_lookup_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 file_priv->minor 4096-ptr_max
PARAM_VALUE 1 file_priv->minor->dev 4096-ptr_max
PARAM_VALUE 1 *file_priv->driver_priv->abi16 (-4611686018427387904)-4611686018427387903
PARAM_VALUE 2 pbbo 16,4096-ptr_max
PARAM_VALUE 3 nr_buffers 1-1024
PARAM_VALUE 4 op 3618475209504833536
PARAM_VALUE 4 op->list.next 3618475209504833536
PARAM_VALUE 4 op->list.next->next 3618475209504833536
PARAM_VALUE 4 op->list.prev 3618475209504833536
PARAM_VALUE 4 op->list.prev->next 3618475209504833536
PARAM_VALUE 4 op->list.prev->prev 3618475209504833536
BUF_SIZE 1 file_priv s32min-(-2),1-s32max
BUF_SIZE 1 file_priv s32min-(-2),1-s32max
CAPPED_DATA 0 chan 1
CAPPED_DATA 0 chan->chid 1
CAPPED_DATA 1 file_priv 1
CAPPED_DATA 3 nr_buffers 1
DATA_SOURCE 0 chan $0
DATA_SOURCE 1 file_priv $1
DATA_SOURCE 2 pbbo $2
DATA_SOURCE 3 nr_buffers $3
DATA_SOURCE 4 op $4
USER_DATA 2 pbbo->handle 0-u32max
USER_DATA 2 pbbo->read_domains 0-u32max
USER_DATA 2 pbbo->user_priv 0-u64max
USER_DATA 2 pbbo->valid_domains 0-u32max
USER_DATA 2 pbbo->write_domains 0-u32max
USER_DATA 3 nr_buffers 2-1024[c]
USER_PTR 2 pbbo
LOCK2 1 &file_priv->driver_priv->mutex