Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/i915/display/intel_overlay.c intel_overlay_put_image_ioctl() -> check_overlay_src()

Type Parameter Key Value
PARAM_VALUE 0 display 4096-ptr_max
PARAM_VALUE 1 rec 4096-ptr_max
PARAM_VALUE 1 rec->flags 16777216-u32max
PARAM_VALUE 2 obj 4096-ptr_max
BUF_SIZE 1 rec 128-16383
BUF_SIZE 1 rec 128-16383
BUF_SIZE 2 obj 704
CAPPED_DATA 1 rec->crtc_id 1
CAPPED_DATA 1 rec->src_scan_height 1
CAPPED_DATA 1 rec->src_scan_width 1
DATA_SOURCE 1 rec $1
DATA_SOURCE 2 obj r intel_parent_overlay_obj_lookup
PARAM_COMPARE 1 rec->src_height >= $1->src_scan_height
PARAM_COMPARE 1 rec->src_scan_width <= $1->src_width
BIT_INFO 1 rec->flags 0x1000000,0xffffffffffffffff
USER_DATA 1 rec->bo_handle 0-u32max[u]
USER_DATA 1 rec->crtc_id 0-u32max[c]
USER_DATA 1 rec->dst_height 0-u16max
USER_DATA 1 rec->dst_width 0-u16max[u]
USER_DATA 1 rec->dst_x 0-u16max[u]
USER_DATA 1 rec->dst_y 0-u16max
USER_DATA 1 rec->flags 16777216-u32max[u]
USER_DATA 1 rec->offset_U 0-u32max[u]
USER_DATA 1 rec->offset_V 0-u32max[u]
USER_DATA 1 rec->offset_Y 0-u32max[u]
USER_DATA 1 rec->src_height 0-u16max[u]
USER_DATA 1 rec->src_scan_height 0-u16max[u]
USER_DATA 1 rec->src_scan_width 0-u16max[u]
USER_DATA 1 rec->src_width 0-u16max[u]
USER_DATA 1 rec->stride_UV 0-u16max[u]
USER_DATA 1 rec->stride_Y 0-u16max[u]
USER_PTR 1 rec
LOCK2 &dev->mode_config.mutex
TYPE_LOCK (struct drm_mode_config)->mutex