Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/vfio/vfio_main.c vfio_df_device_first_open() -> (struct vfio_device_ops)->open_device()

Type Parameter Key Value
PARAM_VALUE 0 core_vdev 4096-ptr_max
PARAM_VALUE 0 core_vdev->dev 4096-ptr_max
PARAM_VALUE 0 core_vdev->dev->driver 4096-ptr_max
PARAM_VALUE 0 core_vdev->dev->driver->owner 0,4096-ptr_max
PARAM_VALUE 0 core_vdev->dev->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 core_vdev->dev->driver->owner->state 0-1,3-u32max
PARAM_VALUE 0 core_vdev->group 4096-ptr_max
PARAM_VALUE 0 core_vdev->group->container 0,4096-ptr_max
PARAM_VALUE 0 core_vdev->open_count 1
PARAM_VALUE 0 core_vdev->ops 4096-ptr_max
PARAM_VALUE 0 core_vdev->ops->dma_unmap 0,4096-ptr_max
PARAM_VALUE 0 core_vdev->ops->open_device 4096-ptr_max
CONTAINER 0 -72-8+0 $(-1)
LOCK2 &device->dev_set->lock
HALF_LOCKED2 &device->group->group_lock
TYPE_LOCK (struct vfio_device_set)->lock