Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 13 files:
- drivers/gpu/drm/ast/ast_cursor.c, line 209
- drivers/gpu/drm/ast/ast_mode.c, line 553
- drivers/gpu/drm/drm_format_helper.c, line 448
- drivers/gpu/drm/drm_mipi_dbi.c
- drivers/gpu/drm/gud/gud_pipe.c
- drivers/gpu/drm/hisilicon/hibmc/hibmc_drm_de.c, line 129
- drivers/gpu/drm/hyperv/hyperv_drm_modeset.c, line 40
- drivers/gpu/drm/mgag200/mgag200_mode.c, line 443
- drivers/gpu/drm/sysfb/drm_sysfb_modeset.c, line 198
- drivers/gpu/drm/tests/drm_format_helper_test.c
- drivers/gpu/drm/tiny/appletbdrm.c, line 440
- drivers/gpu/drm/tiny/bochs.c, line 464
- drivers/gpu/drm/tiny/cirrus-qemu.c, line 358
Smatch caller information:
drivers/gpu/drm/hisilicon/hibmc/hibmc_drm_de.c hibmc_plane_atomic_update() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->pitches | 4096-ptr_max |
| PARAM_VALUE | 4 | clip | 1731848466230407168 |
| BUF_SIZE | 0 | dst | 64 |
| BUF_SIZE | 1 | dst_pitch | 16 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb->format->num_planes | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vkms_output->lock | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/tiny/appletbdrm.c appletbdrm_flush_damage() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 314534035906449408 |
| PARAM_VALUE | 0 | dst->is_iomem | 0 |
| PARAM_VALUE | 1 | dst_pitch | 0 |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format->format | 0-875713111,875713113-u32max |
| PARAM_VALUE | 4 | clip | 4262231199882145792 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb->format->num_planes | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/tests/drm_format_helper_test.c drm_test_fb_memcpy() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 0,4096-ptr_max |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 563550556849176576 |
| PARAM_VALUE | 3 | fb->base.id | 0 |
| PARAM_VALUE | 3 | fb->dev | 0 |
| PARAM_VALUE | 3 | fb->flags | 0 |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->funcs | 0 |
| PARAM_VALUE | 3 | fb->height | 0 |
| PARAM_VALUE | 3 | fb->modifier | 0 |
| PARAM_VALUE | 3 | fb->width | 0 |
| PARAM_VALUE | 4 | clip | 4096-ptr_max |
| BUF_SIZE | 0 | dst | 64 |
| BUF_SIZE | 1 | dst_pitch | 0,16 |
| BUF_SIZE | 1 | dst_pitch | 0,16 |
| BUF_SIZE | 2 | src | 64 |
| NOCHECK_CALL |
drivers/gpu/drm/tests/drm_format_helper_test.c drm_test_fb_memcpy() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 0,4096-ptr_max |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 563550556849176576 |
| PARAM_VALUE | 3 | fb->base.id | 0 |
| PARAM_VALUE | 3 | fb->dev | 0 |
| PARAM_VALUE | 3 | fb->flags | 0 |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->funcs | 0 |
| PARAM_VALUE | 3 | fb->height | 0 |
| PARAM_VALUE | 3 | fb->modifier | 0 |
| PARAM_VALUE | 3 | fb->width | 0 |
| PARAM_VALUE | 4 | clip | 4096-ptr_max |
| BUF_SIZE | 0 | dst | 64 |
| BUF_SIZE | 1 | dst_pitch | 0,16 |
| BUF_SIZE | 1 | dst_pitch | 0,16 |
| BUF_SIZE | 2 | src | 64 |
| NOCHECK_CALL |
drivers/gpu/drm/mgag200/mgag200_mode.c mgag200_handle_damage() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4215352331065249792 |
| PARAM_VALUE | 0 | dst->is_iomem | 1 |
| PARAM_VALUE | 0 | dst->vaddr | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->vaddr_iomem | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->pitches | 4096-ptr_max |
| PARAM_VALUE | 3 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 4 | clip | 6800555073853263872 |
| BUF_SIZE | 1 | dst_pitch | 16 |
| BUF_SIZE | 2 | src | 64 |
| BUF_SIZE | 2 | src | 64 |
| DATA_SOURCE | 2 | src | $1 |
| DATA_SOURCE | 3 | fb | $2 |
| DATA_SOURCE | 4 | clip | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/tiny/cirrus-qemu.c cirrus_primary_plane_helper_atomic_update() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 1726542985415225344 |
| PARAM_VALUE | 0 | dst->is_iomem | 1 |
| PARAM_VALUE | 0 | dst->vaddr | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->vaddr_iomem | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->pitches | 4096-ptr_max |
| PARAM_VALUE | 4 | clip | 5982640931035303936 |
| BUF_SIZE | 1 | dst_pitch | 16 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb->format | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | &vkms_output->lock | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/hyperv/hyperv_drm_modeset.c hv_drm_blit_to_vram_rect() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 8910961244489281536 |
| PARAM_VALUE | 0 | dst->is_iomem | 1 |
| PARAM_VALUE | 0 | dst->vaddr | 0-u32max |
| PARAM_VALUE | 0 | dst->vaddr_iomem | 0-u32max |
| PARAM_VALUE | 1 | dst_pitch | 4096-ptr_max |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->pitches | 4096-ptr_max |
| PARAM_VALUE | 3 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 4 | clip | 4643383511186292736 |
| BUF_SIZE | 1 | dst_pitch | 16 |
| BUF_SIZE | 2 | src | 64 |
| BUF_SIZE | 2 | src | 64 |
| DATA_SOURCE | 2 | src | $1 |
| DATA_SOURCE | 3 | fb | $0 |
| DATA_SOURCE | 4 | clip | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/sysfb/drm_sysfb_modeset.c drm_sysfb_memcpy() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4106860893848363008 |
| PARAM_VALUE | 0 | dst->vaddr | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->vaddr_iomem | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 5366604432248897536 |
| PARAM_VALUE | 1 | *dst_pitch | 1-u32max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 4 | clip | 7537922654601629696 |
| BUF_SIZE | 2 | src | 64 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb->format->num_planes | 1 |
| DATA_SOURCE | 0 | dst | $0 |
| DATA_SOURCE | 1 | dst_pitch | $1 |
| DATA_SOURCE | 2 | src | $2 |
| DATA_SOURCE | 3 | fb | $3 |
| DATA_SOURCE | 4 | clip | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/ast/ast_mode.c ast_handle_damage() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 3446741270763954176 |
| PARAM_VALUE | 0 | dst->is_iomem | 1 |
| PARAM_VALUE | 1 | dst_pitch | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->pitches | 4096-ptr_max |
| PARAM_VALUE | 3 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 4 | clip | 708321059626782720 |
| BUF_SIZE | 1 | dst_pitch | 16 |
| BUF_SIZE | 2 | src | 64 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb->format->num_planes | 1 |
| DATA_SOURCE | 2 | src | $1 |
| DATA_SOURCE | 3 | fb | $2 |
| DATA_SOURCE | 4 | clip | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/tiny/bochs.c bochs_primary_plane_helper_atomic_update() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 6464130047729078272 |
| PARAM_VALUE | 0 | dst->is_iomem | 1 |
| PARAM_VALUE | 0 | dst->vaddr | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->vaddr_iomem | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->pitches | 4096-ptr_max |
| PARAM_VALUE | 4 | clip | 676368583969652736 |
| BUF_SIZE | 1 | dst_pitch | 16 |
| BUF_SIZE | 2 | src | 64 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vkms_output->lock | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/ast/ast_cursor.c ast_cursor_plane_get_argb4444() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 4096-ptr_max |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format->format | 842093121 |
| PARAM_VALUE | 4 | clip | 3412537056269586432 |
| PARAM_VALUE | 4 | clip->x2 | 0-s32max |
| PARAM_VALUE | 4 | clip->y2 | 0-s32max |
| BUF_SIZE | 0 | dst | 64 |
| BUF_SIZE | 1 | dst_pitch | 16 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb->format->num_planes | 1 |
| DATA_SOURCE | 4 | clip | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/drm_mipi_dbi.c mipi_dbi_buf_copy() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 6661261328900276224 |
| PARAM_VALUE | 0 | dst->is_iomem | 0 |
| PARAM_VALUE | 1 | dst_pitch | 0 |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format->format | 909199186 |
| PARAM_VALUE | 4 | clip | 8065558359093604352,8110704982782996480 |
| PARAM_VALUE | 4 | clip->x2 | 0-s32max |
| PARAM_VALUE | 4 | clip->y2 | 0-s32max |
| BUF_SIZE | 2 | src | 64 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb->format->num_planes | 1 |
| DATA_SOURCE | 2 | src | $1 |
| DATA_SOURCE | 3 | fb | $2 |
| DATA_SOURCE | 4 | clip | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/drm_mipi_dbi.c mipi_dbi_buf_copy() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 6661261328900276224 |
| PARAM_VALUE | 0 | dst->is_iomem | 0 |
| PARAM_VALUE | 1 | dst_pitch | 0 |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format->format | 875710290 |
| PARAM_VALUE | 4 | clip | 8065558359093604352,8110704982782996480 |
| PARAM_VALUE | 4 | clip->x2 | 0-s32max |
| PARAM_VALUE | 4 | clip->y2 | 0-s32max |
| BUF_SIZE | 2 | src | 64 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb->format->num_planes | 1 |
| DATA_SOURCE | 2 | src | $1 |
| DATA_SOURCE | 3 | fb | $2 |
| DATA_SOURCE | 4 | clip | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/gud/gud_pipe.c gud_fb_queue_damage() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 6432190591986262016 |
| PARAM_VALUE | 0 | dst->is_iomem | 0 |
| PARAM_VALUE | 0 | dst->vaddr | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->vaddr_iomem | 4096-ptr_max |
| PARAM_VALUE | 1 | dst_pitch | 4096-ptr_max |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->pitches | 4096-ptr_max |
| PARAM_VALUE | 3 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 4 | clip | 7684150057336700928 |
| BUF_SIZE | 1 | dst_pitch | 16 |
| BUF_SIZE | 2 | src | 64 |
| BUF_SIZE | 2 | src | 64 |
| CAPPED_DATA | 3 | fb | 1 |
| DATA_SOURCE | 2 | src | $2 |
| DATA_SOURCE | 3 | fb | $1 |
| DATA_SOURCE | 4 | clip | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &gdrm->damage_lock | ||
| LOCK2 | global &drm_unplug_srcu | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct gud_device)->damage_lock |
drivers/gpu/drm/gud/gud_pipe.c gud_prep_flush() -> drm_fb_memcpy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 1240099920453853184 |
| PARAM_VALUE | 0 | dst->is_iomem | 0 |
| PARAM_VALUE | 1 | dst_pitch | 0 |
| PARAM_VALUE | 2 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | fb | 4096-ptr_max |
| PARAM_VALUE | 3 | fb->format | 4096-ptr_max |
| PARAM_VALUE | 3 | *fb->pitches | 0-4294967295 |
| PARAM_VALUE | 4 | clip | 657507276839424000 |
| BUF_SIZE | 2 | src | (-1),64 |
| BUF_SIZE | 2 | src | (-1),64 |
| CAPPED_DATA | 3 | fb->format | 1 |
| DATA_SOURCE | 2 | src | $2 |
| DATA_SOURCE | 3 | fb | $1 |
| DATA_SOURCE | 4 | clip | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &drm_unplug_srcu |