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_cursor_plane_update() -> virtio_gpu_cursor_ping()

Type Parameter Key Value
PARAM_VALUE 1 output 4096-ptr_max
PARAM_VALUE 1 output->cursor.hdr.type 768-769
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
BUF_SIZE 0 vgdev s32min-(-2),1-s32max
FUZZY_MAX 1 output->cursor.hdr.type 769
BIT_INFO 1 output->cursor.hdr.type 0x300,0x301
HARD_MAX 1 output->cursor.hdr.type 769
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vgdev unit_byte
HALF_LOCKED2 &vkms_output->lock
HALF_LOCKED2 irq