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_ioctl_pushbuf() -> nouveau_gem_pushbuf_validate()

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 5 apply_relocs 4155051184558403584
BUF_SIZE 1 file_priv s32min-(-2),1-s32max
BUF_SIZE 1 file_priv s32min-(-2),1-s32max
BUF_SIZE 2 pbbo s32min-s32max
CAPPED_DATA 0 chan->chid 1
CAPPED_DATA 3 nr_buffers 1
DATA_SOURCE 1 file_priv $2
DATA_SOURCE 2 pbbo r u_memcpya
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 2 *pbbo s64min-s64max
USER_DATA 3 nr_buffers 2-1024[c]
UNITS 1 file_priv unit_byte
USER_PTR 2 pbbo
LOCK2 1 &file_priv->driver_priv->mutex