Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpu/drm/virtio/virtgpu_plane.c virtio_gpu_panic_resource_flush() -> virtio_gpu_panic_notify()

Type Parameter Key Value
PARAM_VALUE 0 vgdev 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.vq 4096-ptr_max
PARAM_VALUE 0 vgdev->ctrlq.vq->num_free 0-1
PARAM_VALUE 0 vgdev->vbufs 4096-ptr_max
PARAM_VALUE 0 vgdev->vbufs->object_size 0-4294967295
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
CAPPED_DATA 0 vgdev->ctrlq.vq->num_free 1
CAPPED_DATA 0 vgdev->vbufs 1
HARD_MAX 0 vgdev->ctrlq.vq->num_free 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
LOCK2 &(plane->dev)->mode_config.panic_lock
LOCK2 flags
HALF_LOCKED2 rcu_read