Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/drm_atomic_uapi.c drm_mode_atomic_ioctl() -> drm_atomic_set_property()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->acquire_ctx 2040783624780435456,2486462468238176256
PARAM_VALUE 0 state->acquire_ctx->contended 0
PARAM_VALUE 0 state->acquire_ctx->locked.next 4096-ptr_max
PARAM_VALUE 0 state->acquire_ctx->locked.prev 4096-ptr_max
PARAM_VALUE 0 state->acquire_ctx->stack_depot 0
PARAM_VALUE 0 state->acquire_ctx->trylock_only 0
PARAM_VALUE 1 file_priv 4096-ptr_max
PARAM_VALUE 1 file_priv->atomic 1
PARAM_VALUE 1 file_priv->master->refcount.refcount.refs.counter s32min-s32max
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 2 obj 4096-ptr_max
PARAM_VALUE 2 obj->properties 4096-ptr_max
PARAM_VALUE 2 obj->properties->count 1-s32max
PARAM_VALUE 2 obj->type 0-4008636142
PARAM_VALUE 3 prop 4096-ptr_max
BUF_SIZE 0 state 176
BUF_SIZE 0 state->acquire_ctx (-1),192
BUF_SIZE 1 file_priv s32min-(-2),1-s32max
BUF_SIZE 1 file_priv s32min-(-2),1-s32max
CAPPED_DATA 2 obj->id 1
DATA_SOURCE 0 state r drm_atomic_commit_alloc
DATA_SOURCE 1 file_priv $2
DATA_SOURCE 2 obj r drm_mode_object_find
DATA_SOURCE 3 prop r drm_mode_obj_find_prop_id
USER_DATA 0 state->allow_modeset 0-1
USER_DATA 2 obj->id 0-u32max[c]
USER_DATA 4 prop_value 0-u64max
NO_OVERFLOW_SIMPLE 0 state->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 state->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 state->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 state->dev->num_crtcs

drivers/gpu/drm/drm_mode_object.c set_property_atomic() -> drm_atomic_set_property()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->acquire_ctx 2040783624780435456,2486462468238176256
PARAM_VALUE 0 state->acquire_ctx->contended 0
PARAM_VALUE 0 state->acquire_ctx->locked.next 4096-ptr_max
PARAM_VALUE 0 state->acquire_ctx->locked.prev 4096-ptr_max
PARAM_VALUE 0 state->acquire_ctx->stack_depot 0
PARAM_VALUE 0 state->acquire_ctx->trylock_only 0
PARAM_VALUE 0 state->dev 4096-ptr_max
PARAM_VALUE 1 file_priv 4096-ptr_max
PARAM_VALUE 1 file_priv->master->refcount.refcount.refs.counter s32min-s32max
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 2 obj 4096-ptr_max
PARAM_VALUE 2 obj->properties 4096-ptr_max
PARAM_VALUE 2 obj->properties->count 1-s32max
PARAM_VALUE 2 obj->type 0-4008636142
PARAM_VALUE 3 prop 4096-ptr_max
PARAM_VALUE 3 prop->dev 4096-ptr_max
PARAM_VALUE 3 prop->dev->mode_config.funcs->atomic_state_alloc 0,4313866966076465152,8746944527109378048
PARAM_VALUE 5 async_flip 0
BUF_SIZE 0 state 176
BUF_SIZE 0 state->acquire_ctx (-1),192
BUF_SIZE 1 file_priv s32min-(-2),1-s32max
BUF_SIZE 1 file_priv s32min-(-2),1-s32max
CAPPED_DATA 2 obj->id 1
CAPPED_DATA 2 obj->properties->count 1
CAPPED_DATA 3 prop 1
DATA_SOURCE 0 state r drm_atomic_commit_alloc
DATA_SOURCE 1 file_priv $1
DATA_SOURCE 2 obj $0
DATA_SOURCE 3 prop $2
DATA_SOURCE 4 prop_value $3
PARAM_COMPARE 3 prop != $0->dev->mode_config.dpms_property
PARAM_COMPARE 3 prop != $0->dev->mode_config.dpms_property
USER_DATA 2 obj->id 0-u32max[c]
USER_DATA 4 prop_value 0-u64max[u]
NO_OVERFLOW_SIMPLE 0 state->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 state->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 state->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 state->dev->num_crtcs