Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/tegra/submit.c submit_create_job() -> submit_job_add_gather()

Type Parameter Key Value
PARAM_VALUE 0 job 4096-ptr_max
PARAM_VALUE 0 job->addr_phys 4096-ptr_max
PARAM_VALUE 0 job->client 4096-ptr_max
PARAM_VALUE 0 job->enable_firewall 0
PARAM_VALUE 0 job->gather_addr_phys 4096-ptr_max
PARAM_VALUE 0 job->ref.refcount.refs.counter 1
PARAM_VALUE 0 job->reloc_addr_phys 4096-ptr_max
PARAM_VALUE 0 job->relocs 0
PARAM_VALUE 0 job->serialize 1
PARAM_VALUE 0 job->syncpt 4096-ptr_max
PARAM_VALUE 0 job->syncpt->ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 job->unpins 0,4096-ptr_max
PARAM_VALUE 1 context 4096-ptr_max
PARAM_VALUE 1 context->client 4096-ptr_max
PARAM_VALUE 2 cmd 4096-ptr_max
PARAM_VALUE 3 bo 4096-ptr_max
PARAM_VALUE 3 bo->base.ops 5734132353531019264
PARAM_VALUE 3 bo->gather_data_words 1-u32max
PARAM_VALUE 3 bo->ref.refcount.refs.counter 1
PARAM_VALUE 4 offset 3561211423092985856
PARAM_VALUE 5 job_data 4096-ptr_max
PARAM_VALUE 5 job_data->used_mappings 16,4096-ptr_max
PARAM_VALUE 6 class 8019995489715245056
BUF_SIZE 0 job 264-s32max
BUF_SIZE 0 job 264-s32max
BUF_SIZE 0 job->client 416
BUF_SIZE 5 job_data 16
CAPPED_DATA 3 bo->gather_data_words 1
DATA_SOURCE 0 job r host1x_job_alloc
DATA_SOURCE 1 context $0
DATA_SOURCE 3 bo $1
DATA_SOURCE 5 job_data $3
NOSPEC 3 bo->gather_data_words
USER_DATA 0 job->syncpt_incrs 0-u32max[u]
USER_DATA 3 bo->gather_data_words 1-u32max[c]
NO_OVERFLOW_SIMPLE 4 *offset
LOCK2 &fpriv->lock
TYPE_LOCK (struct tegra_drm_file)->lock