Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/vfio_main.c vfio_device_log_read_and_clear() -> (struct vfio_log_ops)->log_read_and_clear()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->log_ops 4096-ptr_max
PARAM_VALUE 3 dirty 4096-ptr_max
PARAM_VALUE 3 dirty->mapped.pages s64max
BUF_SIZE 0 vdev (-1),32
BUF_SIZE 0 vdev (-1),32
BUF_SIZE 3 dirty 88
BUF_SIZE 3 dirty 88
DATA_SOURCE 0 vdev $3
DATA_SOURCE 1 iova $1
DATA_SOURCE 2 length $2
DATA_SOURCE 3 dirty $0
CONTAINER 0 -16-24+0 $(-1)
USER_DATA 1 iova 0-u64max
USER_DATA 2 length 0-u64max
HALF_LOCKED2 &iopt->iova_rwsem