Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/etnaviv/etnaviv_cmd_parser.c etnaviv_cmd_validate_one() -> etnaviv_validate_load_state()

Type Parameter Key Value
PARAM_VALUE 0 state 3182400784392527872
PARAM_VALUE 0 state->gpu 1-u64max
PARAM_VALUE 0 state->relocs 16,4096-u64max
PARAM_VALUE 0 state->start 16,4096-ptr_max
PARAM_VALUE 2 state_offset 0-u16max
PARAM_VALUE 3 num 0-1023
USER_DATA 0 state->num_relocs 0-131072[u]
USER_DATA 1 *ptr 0-u32max
USER_DATA 2 state_offset 0-u16max[c]
USER_DATA 3 num 0-1023[c]
USER_PTR 0 state->relocs
USER_PTR 0 state->start
USER_PTR 1 ptr