Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_plane_prepare_fb() -> virtio_gpu_prepare_imported_obj()
| 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->prepare_fb | 4096-ptr_max |
| PARAM_VALUE | 1 | new_state | 4096-ptr_max |
| PARAM_VALUE | 1 | new_state->fb | 4096-ptr_max |
| PARAM_VALUE | 1 | new_state->fb->obj | 4096-ptr_max |
| PARAM_VALUE | 2 | obj | 4096-ptr_max |
| PARAM_VALUE | 2 | obj->import_attach | 1-u64max |
| CAPPED_DATA | 1 | new_state->fb->format->num_planes | 1 |
| DATA_SOURCE | 0 | plane | $0 |
| DATA_SOURCE | 1 | new_state | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |