Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/virtio/virtgpu_plane.c virtio_panic_flush() -> virtio_gpu_panic_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->dev->mode_config.funcs->atomic_commit | 0,1709437739929436160,3385958169767186432,9025212985888776192 |
| PARAM_VALUE | 0 | plane->helper_private | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->helper_private->panic_flush | 824444239575769088,904457174973222912,1559097384399716352,1617198478475169792,3007113064888778752,6468892575876448256,6800516066389090304 |
| PARAM_VALUE | 0 | plane->state | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->state->fb | 4096-ptr_max |
| PARAM_VALUE | 0 | plane->state->fb->obj | 4096-ptr_max |
| PARAM_VALUE | 1 | x | 0-u16max |
| PARAM_VALUE | 2 | y | 0-u16max |
| PARAM_VALUE | 3 | width | 0-u16max |
| PARAM_VALUE | 4 | height | 0-u16max |
| BUF_SIZE | 0 | plane | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | plane | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | plane | $0 |
| STR_LEN | 0 | plane | (-1),17 |
| STR_LEN | 0 | plane | (-1),17 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &(plane->dev)->mode_config.panic_lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | rcu_read |