Defined in 2 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/vfio/device_cdev.c, line 35
- drivers/vfio/group.c, line 50
- drivers/vfio/pci/vfio_pci_dmabuf.c, line 287
- drivers/vfio/vfio_main.c, line 190
Smatch caller information:
drivers/vfio/device_cdev.c vfio_device_fops_cdev_open() -> vfio_device_try_get_registration()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/vfio/pci/vfio_pci_dmabuf.c vfio_pci_core_feature_dma_buf() -> vfio_device_try_get_registration()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
drivers/vfio/group.c vfio_device_get_from_name() -> vfio_device_try_get_registration()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | device->ops->match | 0,5137777373626888192 |
| CAPPED_DATA | 0 | &device->group_next | 1 |
| LOCK2 | &group->device_lock | ||
| TYPE_LOCK | (struct vfio_group)->device_lock |