Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_addr 0-256
CAPPED_DATA 2 state_addr 1
DATA_SOURCE 0 state $0
NOCHECK_CALL
USER_DATA 0 state->num_relocs 0-131072[u]
USER_DATA 2 state_addr 0-256[c]
USER_PTR 0 state->relocs
USER_PTR 0 state->start

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

Type Parameter Key Value
PARAM_VALUE 0 state 3182400784392527872
PARAM_VALUE 0 state->gpu 1-u64max
PARAM_VALUE 0 state->num_relocs 1-u32max
PARAM_VALUE 0 state->relocs 4096-ptr_max
PARAM_VALUE 0 state->start 16,4096-ptr_max
DATA_SOURCE 0 state $0
NOCHECK_CALL
USER_DATA 0 state->num_relocs 1-131072[u]
USER_PTR 0 state->relocs
USER_PTR 0 state->start