Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/vc4/vc4_gem.c vc4_get_bcl() -> vc4_validate_bin_cl()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->huge_mnt->mnt_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 dev->huge_mnt->mnt_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 dev->huge_mnt->mnt_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 0 dev->unplugged 0
PARAM_VALUE 2 unvalidated 1-18446744073709551614
PARAM_VALUE 3 exec 4096-ptr_max
PARAM_VALUE 3 exec->args 4096-ptr_max
PARAM_VALUE 3 exec->args->bin_cl_size 1-s32max
PARAM_VALUE 3 exec->args->bo_handle_count 1-u32max
PARAM_VALUE 3 exec->args->flags 0-14
PARAM_VALUE 3 exec->args->pad2 0
PARAM_VALUE 3 exec->args->shader_rec_count 0-536870910
PARAM_VALUE 3 exec->args->shader_rec_size 0-s32max
PARAM_VALUE 3 exec->args->uniforms_size 0-s32max
PARAM_VALUE 3 exec->bin_u 1-18446744073709551614
PARAM_VALUE 3 exec->bo 4096-ptr_max
PARAM_VALUE 3 exec->bo_count 1-s32max
PARAM_VALUE 3 exec->dev 4096-ptr_max
PARAM_VALUE 3 exec->dev->gen 0
PARAM_VALUE 3 exec->dev->v3d 1-u64max
PARAM_VALUE 3 exec->exec_bo 4096-ptr_max
PARAM_VALUE 3 exec->shader_rec_size 0-s32max
PARAM_VALUE 3 exec->shader_rec_u 4096-ptr_max
PARAM_VALUE 3 exec->shader_rec_v 4096-ptr_max
PARAM_VALUE 3 exec->shader_state 4096-ptr_max
PARAM_VALUE 3 exec->shader_state_size 0-536870910
PARAM_VALUE 3 exec->uniforms_size 0-s32max
PARAM_VALUE 3 exec->uniforms_u 4096-ptr_max
PARAM_VALUE 3 exec->uniforms_v 4096-ptr_max
PARAM_VALUE 3 exec->unref_list.next 4096-ptr_max
PARAM_VALUE 3 exec->unref_list.next->next 4096-ptr_max
PARAM_VALUE 3 exec->unref_list.prev 4096-ptr_max
PARAM_VALUE 3 exec->unref_list.prev->next 4096-ptr_max
PARAM_VALUE 3 exec->unref_list.prev->next->next 4096-ptr_max
PARAM_VALUE 3 exec->unref_list.prev->prev 4096-ptr_max
BUF_SIZE 3 exec 264
BUF_SIZE 3 exec->args 128-16383
BUF_SIZE 3 exec->exec_bo 736
CAPPED_DATA 3 exec->shader_rec_size 1
CAPPED_DATA 3 exec->uniforms_size 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 3 exec $1
NOSPEC 3 exec->shader_rec_size
NOSPEC 3 exec->uniforms_size
HARD_MAX 3 exec->args->shader_rec_count 536870910
USER_DATA 2 *unvalidated s64min-s64max
USER_DATA 3 exec->args->bin_cl 0-u64max[u]
USER_DATA 3 exec->args->bin_cl_size 1-s32max[u]
USER_DATA 3 exec->args->bo_handle_count 1-u32max[u]
USER_DATA 3 exec->args->bo_handles 0-u64max[u]
USER_DATA 3 exec->args->clear_s 0-255[u]
USER_DATA 3 exec->args->clear_z 0-u32max[u]
USER_DATA 3 exec->args->color_read.bits 0-u16max[u]
USER_DATA 3 exec->args->color_read.flags 0-u16max[u]
USER_DATA 3 exec->args->color_read.hindex 0-u32max[u]
USER_DATA 3 exec->args->color_read.offset 0-u32max[u]
USER_DATA 3 exec->args->color_write.bits 0-u16max[u]
USER_DATA 3 exec->args->color_write.flags 0-u16max[u]
USER_DATA 3 exec->args->color_write.hindex 0-u32max[u]
USER_DATA 3 exec->args->color_write.offset 0-u32max[u]
USER_DATA 3 exec->args->flags 0-14[u]
USER_DATA 3 exec->args->height 0-u16max[u]
USER_DATA 3 exec->args->in_sync 0-u32max[u]
USER_DATA 3 exec->args->max_x_tile 0-255[u]
USER_DATA 3 exec->args->max_y_tile 0-255[u]
USER_DATA 3 exec->args->min_x_tile 0-255[u]
USER_DATA 3 exec->args->min_y_tile 0-255[u]
USER_DATA 3 exec->args->msaa_color_write.bits 0-u16max[u]
USER_DATA 3 exec->args->msaa_color_write.flags 0-u16max[u]
USER_DATA 3 exec->args->msaa_color_write.hindex 0-u32max[u]
USER_DATA 3 exec->args->msaa_color_write.offset 0-u32max[u]
USER_DATA 3 exec->args->msaa_zs_write.bits 0-u16max[u]
USER_DATA 3 exec->args->msaa_zs_write.flags 0-u16max[u]
USER_DATA 3 exec->args->msaa_zs_write.hindex 0-u32max[u]
USER_DATA 3 exec->args->msaa_zs_write.offset 0-u32max[u]
USER_DATA 3 exec->args->out_sync 0-u32max[u]
USER_DATA 3 exec->args->pad 0-16777215[u]
USER_DATA 3 exec->args->pad2 0[u]
USER_DATA 3 exec->args->perfmonid 0-u32max[u]
USER_DATA 3 exec->args->seqno 0-u64max[u]
USER_DATA 3 exec->args->shader_rec 0-u64max[u]
USER_DATA 3 exec->args->shader_rec_count 0-536870910[u]
USER_DATA 3 exec->args->shader_rec_size 0-s32max[u]
USER_DATA 3 exec->args->uniforms 0-u64max[u]
USER_DATA 3 exec->args->uniforms_size 0-s32max[u]
USER_DATA 3 exec->args->width 0-u16max[u]
USER_DATA 3 exec->args->zs_read.bits 0-u16max[u]
USER_DATA 3 exec->args->zs_read.flags 0-u16max[u]
USER_DATA 3 exec->args->zs_read.hindex 0-u32max[u]
USER_DATA 3 exec->args->zs_read.offset 0-u32max[u]
USER_DATA 3 exec->args->zs_write.bits 0-u16max[u]
USER_DATA 3 exec->args->zs_write.flags 0-u16max[u]
USER_DATA 3 exec->args->zs_write.hindex 0-u32max[u]
USER_DATA 3 exec->args->zs_write.offset 0-u32max[u]
USER_DATA 3 exec->shader_rec_size 0-s32max[c]
USER_DATA 3 exec->shader_state_size 0-536870910[u]
USER_DATA 3 exec->uniforms_size 0-s32max[c]
USER_DATA 3 *exec->shader_rec_u s64min-s64max
USER_DATA 3 *exec->uniforms_u s64min-s64max
NO_OVERFLOW_SIMPLE 3 exec->shader_state_size
UNITS 0 dev unit_byte
UNITS 1 validated unit_byte
USER_PTR 2 unvalidated
USER_PTR 3 exec->args
USER_PTR 3 exec->args->clear_color
USER_PTR 3 exec->bin_u
USER_PTR 3 exec->shader_rec_u
USER_PTR 3 exec->uniforms_u