Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/vc4/vc4_plane.c vc6_plane_mode_set() -> vc6_plane_get_csc_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vc4_state | 4096-ptr_max |
| PARAM_VALUE | 0 | vc4_state->crtc_h | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | vc4_state->crtc_w | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | vc4_state->dlist | 4096-ptr_max |
| PARAM_VALUE | 0 | vc4_state->dlist_initialized | 0 |
| PARAM_VALUE | 0 | vc4_state->dlist_size | 4-u32max |
| PARAM_VALUE | 0 | vc4_state->src_h | 4096-ptr_max |
| PARAM_VALUE | 0 | vc4_state->src_w | 4096-ptr_max |
| PARAM_VALUE | 0 | vc4_state->src_x | 1-u32max |
| PARAM_VALUE | 0 | vc4_state->src_y | 1-u32max |
| PARAM_VALUE | 0 | *vc4_state->dlist | 0-536870911 |
| CAPPED_DATA | 0 | vc4_state->src_x | 1 |
| CAPPED_DATA | 0 | vc4_state->src_y | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |