Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/vfio/vfio_main.c __vfio_register_dev() -> vfio_device_set_group()

Type Parameter Key Value
PARAM_VALUE 0 device 4096-ptr_max
PARAM_VALUE 0 device->device.kobj->name 0-255
PARAM_VALUE 0 device->device.kobj.name 1-u64max
PARAM_VALUE 0 device->noiommu 1
PARAM_VALUE 0 device->ops 4096-ptr_max
PARAM_VALUE 0 device->ops->attach_ioas 0,1440527574664003584,2870165480332972032
PARAM_VALUE 0 device->ops->bind_iommufd 0,5884758885010452480,8528398329957732352
PARAM_VALUE 0 device->ops->detach_ioas 0,2843062832344907776,7636109330980913152
PARAM_VALUE 0 device->ops->unbind_iommufd 0,411220427582353408,6641231486141259776
PARAM_VALUE 1 type 0-1
DATA_SOURCE 0 device $0
DATA_SOURCE 1 type $1
HARD_MAX 1 type 1
RX_PATH
TASK_NOT_RUNNING