Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/omapdrm/omap_plane.c omap_plane_atomic_check() -> omap_overlay_release()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->acquire_ctx 0,4096-ptr_max
PARAM_VALUE 0 s->crtcs 4096-ptr_max
PARAM_VALUE 0 s->dev 4096-ptr_max
PARAM_VALUE 0 s->dev->mode_config.num_total_plane 1-s32max
PARAM_VALUE 0 s->planes 4096-ptr_max
PARAM_VALUE 0 s->private_objs 4096-ptr_max
BUF_SIZE 0 s (-1),176
BUF_SIZE 0 s (-1),176
BUF_SIZE 0 s->dev s32min-(-1),1-s32max
CAPPED_DATA 0 s->dev->mode_config.num_crtc 1
CAPPED_DATA 0 s->dev->mode_config.num_total_plane 1
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 s->dev->mode_config.object_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 s->dev->mode_config.tile_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 s->dev->ref.refcount.refs.counter s32min-s32max
USER_DATA 0 s->allow_modeset 0-1
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 s->dev->num_crtcs
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 0 &s->dev->mode_config.connection_mutex
HALF_LOCKED2 0 &s->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/omapdrm/omap_plane.c omap_plane_atomic_check() -> omap_overlay_release()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->acquire_ctx 0,4096-ptr_max
PARAM_VALUE 0 s->crtcs 4096-ptr_max
PARAM_VALUE 0 s->dev 4096-ptr_max
PARAM_VALUE 0 s->dev->mode_config.num_total_plane 1-s32max
PARAM_VALUE 0 s->planes 4096-ptr_max
PARAM_VALUE 0 s->private_objs 4096-ptr_max
BUF_SIZE 0 s (-1),176
BUF_SIZE 0 s (-1),176
BUF_SIZE 0 s->dev s32min-(-1),1-s32max
CAPPED_DATA 0 s->dev->mode_config.num_crtc 1
CAPPED_DATA 0 s->dev->mode_config.num_total_plane 1
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 s->dev->mode_config.object_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 s->dev->mode_config.tile_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 s->dev->ref.refcount.refs.counter s32min-s32max
USER_DATA 0 s->allow_modeset 0-1
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 s->dev->num_crtcs
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 0 &s->dev->mode_config.connection_mutex
HALF_LOCKED2 0 &s->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/omapdrm/omap_plane.c omap_plane_atomic_check() -> omap_overlay_release()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->acquire_ctx 0,4096-ptr_max
PARAM_VALUE 0 s->crtcs 4096-ptr_max
PARAM_VALUE 0 s->dev 4096-ptr_max
PARAM_VALUE 0 s->dev->mode_config.num_total_plane 1-s32max
PARAM_VALUE 0 s->planes 4096-ptr_max
PARAM_VALUE 0 s->private_objs 4096-ptr_max
PARAM_VALUE 1 overlay 0,4096-ptr_max
BUF_SIZE 0 s (-1),176
BUF_SIZE 0 s (-1),176
BUF_SIZE 0 s->dev s32min-(-1),1-s32max
CAPPED_DATA 0 s->dev->mode_config.num_crtc 1
CAPPED_DATA 0 s->dev->mode_config.num_total_plane 1
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 s->dev->mode_config.object_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 s->dev->mode_config.tile_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 s->dev->ref.refcount.refs.counter s32min-s32max
USER_DATA 0 s->allow_modeset 0-1
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 s->dev->num_crtcs
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 0 &s->dev->mode_config.connection_mutex
HALF_LOCKED2 0 &s->dev->mode_config.connection_mutex.mutex

drivers/gpu/drm/omapdrm/omap_plane.c omap_plane_atomic_check() -> omap_overlay_release()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->acquire_ctx 0,4096-ptr_max
PARAM_VALUE 0 s->crtcs 4096-ptr_max
PARAM_VALUE 0 s->dev 4096-ptr_max
PARAM_VALUE 0 s->dev->mode_config.num_total_plane 1-s32max
PARAM_VALUE 0 s->planes 4096-ptr_max
PARAM_VALUE 0 s->private_objs 4096-ptr_max
BUF_SIZE 0 s (-1),176
BUF_SIZE 0 s (-1),176
BUF_SIZE 0 s->dev s32min-(-1),1-s32max
CAPPED_DATA 0 s->dev->mode_config.num_crtc 1
CAPPED_DATA 0 s->dev->mode_config.num_total_plane 1
DATA_SOURCE 0 s $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 s->dev->mode_config.object_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 s->dev->mode_config.tile_idr.idr_rt.xa_flags 0,67108864-u32max
HOST_DATA 0 s->dev->ref.refcount.refs.counter s32min-s32max
USER_DATA 0 s->allow_modeset 0-1
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_colorop
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_crtc
NO_OVERFLOW_SIMPLE 0 s->dev->mode_config.num_total_plane
NO_OVERFLOW_SIMPLE 0 s->dev->num_crtcs
HALF_LOCKED2 &client->modeset_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex
HALF_LOCKED2 &dev->mode_config.connection_mutex.mutex
HALF_LOCKED2 0 &s->dev->mode_config.connection_mutex
HALF_LOCKED2 0 &s->dev->mode_config.connection_mutex.mutex