Defined in 1 files as a struct:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_primary_plane_update() -> virtio_gpu_resource_flush()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | plane | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->helper_private | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->helper_private->atomic_disable | 0,4096-ptr_max |
| PARAM_VALUE | 0 | plane->helper_private->atomic_enable | 0,3552822283354492928,3967179263382396928,4344157237591973888,8251704464090431488,8454679932463742976 |
| PARAM_VALUE | 0 | plane->state | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->state->crtc | 1-u64max |
| PARAM_VALUE | 0 | plane->state->fb | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->state->fb->obj | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->state->fb_damage_clips | 0,4096-ptr_max |
| PARAM_VALUE | 0 | plane->state->plane->base.properties->count | 1-s32max |
| PARAM_VALUE | 0 | plane->state->visible | 1 |
| CAPPED_DATA | 0 | plane->state->fb | 1 |
| CAPPED_DATA | 0 | plane->state->plane->base.properties->count | 1 |
| DATA_SOURCE | 0 | plane | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | x | unit_byte |
| UNITS | 2 | y | unit_byte |
| UNITS | 3 | width | unit_byte |
| UNITS | 4 | height | unit_byte |
| HALF_LOCKED2 | &vkms_output->lock | ||
| HALF_LOCKED2 | irq |