Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/radeon/radeon_cursor.c radeon_crtc_cursor_set2() -> radeon_show_cursor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | crtc | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->cursor | 0 |
| PARAM_VALUE | 0 | crtc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev->dev_private | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev->dev_private->mmio_idx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | crtc->dev->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | crtc->funcs | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->funcs->cursor_move | 0,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->funcs->cursor_set | 0,3495628013979901952,4537023485923934208,6131130537578876928,8872617624633417728 |
| PARAM_VALUE | 0 | crtc->funcs->cursor_set2 | 1789627235925843968,4458553803064295424,6181444555894923264,8421415535485173760 |
| CAPPED_DATA | 0 | crtc | 1 |
| CAPPED_DATA | 0 | crtc->dev->dev_private->rmmio_size | 1 |
| DATA_SOURCE | 0 | crtc | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &crtc->mutex | |
| TYPE_LOCK | (struct drm_crtc)->mutex |
drivers/gpu/drm/radeon/radeon_cursor.c radeon_cursor_move_locked() -> radeon_show_cursor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | crtc | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev->dev_private | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev->dev_private->mmio_idx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | crtc->dev->huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | crtc->dev->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | crtc->dev->mode_config.helper_private->atomic_commit_tail | 0,113,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->funcs->cursor_set | 0,3495628013979901952,4537023485923934208,6131130537578876928,8872617624633417728 |
| PARAM_VALUE | 0 | crtc->funcs->cursor_set2 | 0,1789627235925843968,4458553803064295424,6181444555894923264,8421415535485173760 |
| CAPPED_DATA | 0 | crtc | 1 |
| CAPPED_DATA | 0 | crtc->dev->dev_private->rmmio_size | 1 |
| DATA_SOURCE | 0 | crtc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | crtc->hwmode.crtc_clock | s32min-s32max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hblank_end | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hblank_start | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hdisplay | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hskew | 0-u16max[u] |
| USER_DATA | 0 | crtc->hwmode.crtc_hsync_end | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hsync_start | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_htotal | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_vblank_end | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.crtc_vdisplay | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.crtc_vsync_end | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.crtc_vsync_start | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.crtc_vtotal | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.hskew | 0-u16max[u] |
| USER_DATA | 0 | crtc->hwmode.type | 0,8-104[c] |
| USER_DATA | 0 | crtc->hwmode.vscan | 0-u16max[u] |
| USER_DATA | 0 | crtc->x | 0-s32max |
| USER_DATA | 0 | crtc->y | 0-s32max |
| HALF_LOCKED2 | 0 | &crtc->mutex |
drivers/gpu/drm/radeon/radeon_cursor.c radeon_cursor_reset() -> radeon_show_cursor()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | crtc | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev->dev_private | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev->dev_private->mmio_idx_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | crtc->dev->driver | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->dev->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | crtc->dev->mode_config.helper_private->atomic_commit_tail | 0,113,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->enabled | 1 |
| PARAM_VALUE | 0 | crtc->funcs->cursor_set | 0,3495628013979901952,4537023485923934208,6131130537578876928,8872617624633417728 |
| PARAM_VALUE | 0 | crtc->funcs->cursor_set2 | 0,1789627235925843968,4458553803064295424,6181444555894923264,8421415535485173760 |
| PARAM_VALUE | 0 | crtc->helper_private->atomic_begin | 0,218,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->helper_private->disable | 0,4,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->helper_private->dpms | 0,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->helper_private->mode_fixup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->helper_private->mode_set | 0,263,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->helper_private->mode_set_base | 0,575,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->helper_private->mode_valid | 0,13,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->helper_private->prepare | 0,2,4096-ptr_max |
| PARAM_VALUE | 0 | crtc->primary | 4096-ptr_max |
| PARAM_VALUE | 0 | crtc->primary->fb | 0,4096-ptr_max |
| CAPPED_DATA | 0 | crtc | 1 |
| CAPPED_DATA | 0 | crtc->dev->dev_private->rmmio_size | 1 |
| CAPPED_DATA | 0 | crtc->primary->fb | 1 |
| DATA_SOURCE | 0 | crtc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | crtc->hwmode.crtc_clock | s32min-s32max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hblank_end | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hblank_start | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hdisplay | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hskew | 0-u16max[u] |
| USER_DATA | 0 | crtc->hwmode.crtc_hsync_end | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_hsync_start | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_htotal | 1-u16max[c] |
| USER_DATA | 0 | crtc->hwmode.crtc_vblank_end | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.crtc_vdisplay | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.crtc_vsync_end | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.crtc_vsync_start | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.crtc_vtotal | 0-u16max |
| USER_DATA | 0 | crtc->hwmode.hskew | 0-u16max[u] |
| USER_DATA | 0 | crtc->hwmode.type | 0,8-104[c] |
| USER_DATA | 0 | crtc->hwmode.vscan | 0-u16max[u] |
| USER_DATA | 0 | crtc->x | 0-s32max |
| USER_DATA | 0 | crtc->y | 0-s32max |
| NO_OVERFLOW_SIMPLE | 0 | crtc->hwmode.clock | |
| NO_OVERFLOW_SIMPLE | 0 | crtc->mode.clock |