Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/vfio/group.c vfio_device_get_from_name() -> (struct vfio_device_ops)->match()

Type Parameter Key Value
PARAM_VALUE 0 core_vdev 4096-ptr_max
PARAM_VALUE 0 core_vdev->ops 4096-ptr_max
PARAM_VALUE 0 core_vdev->ops->match 5137777373626888192
PARAM_VALUE 1 buf 4096-ptr_max
CAPPED_DATA 0 &core_vdev->group_next 1
DATA_SOURCE 1 buf $1
CONTAINER 0 -136-8+0 $(-1)
TERMINATED 1 buf 1
USER_DATA 1 *buf 0-255
USER_PTR 1 buf
LOCK2 &group->device_lock
TYPE_LOCK (struct vfio_group)->device_lock