Defined in 7 files as a member:

Defined in 1 files as a function:

Referenced in 26 files:

Smatch caller information:

drivers/staging/most/video/video.c comp_vdev_poll() -> data_ready()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/staging/most/video/video.c comp_vdev_poll() -> data_ready()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->irq_srcu
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &vm->irqfds_lock
HALF_LOCKED2 global &irqfds_srcu

drivers/staging/most/video/video.c comp_vdev_read() -> data_ready()

Type Parameter Key Value
PARAM_VALUE 0 mdev 1-u64max

drivers/staging/most/video/video.c comp_vdev_read() -> data_ready()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_COMPARE 0 &mdev->pending_mbos == $0->pending_mbos.next
TASK_NOT_RUNNING

drivers/staging/most/video/video.c comp_vdev_read() -> data_ready()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_COMPARE 0 &mdev->pending_mbos == $0->pending_mbos.next
TASK_NOT_RUNNING

drivers/staging/most/video/video.c comp_vdev_read() -> data_ready()

Type Parameter Key Value
PARAM_VALUE 0 mdev 1-u64max

drivers/staging/most/video/video.c comp_vdev_read() -> data_ready()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_COMPARE 0 &mdev->pending_mbos != $0->pending_mbos.next

drivers/staging/most/video/video.c comp_vdev_read() -> data_ready()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_COMPARE 0 &mdev->pending_mbos != $0->pending_mbos.next

Smatch assignments to (struct nvmet_tcp_queue)->data_ready: