Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 12 files:
- drivers/gpu/drm/i915/gvt/kvmgt.c, line 1487
- drivers/s390/cio/vfio_ccw_ops.c, line 177
- drivers/s390/crypto/vfio_ap_ops.c, line 871
- drivers/vfio/cdx/main.c, line 334
- drivers/vfio/fsl-mc/vfio_fsl_mc.c
- drivers/vfio/pci/vfio_pci_core.c, line 2326
- drivers/vfio/platform/vfio_amba.c, line 106
- drivers/vfio/platform/vfio_platform.c, line 92
- drivers/vfio/vfio_main.c, line 472
- samples/vfio-mdev/mbochs.c, line 601
- samples/vfio-mdev/mdpy.c, line 297
- samples/vfio-mdev/mtty.c, line 1394
Smatch caller information:
drivers/vfio/pci/vfio_pci_core.c vfio_pci_core_unregister_device() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | device->cdev.count |
drivers/gpu/drm/i915/gvt/kvmgt.c intel_vgpu_remove() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
samples/vfio-mdev/mdpy.c mdpy_remove() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
samples/vfio-mdev/mbochs.c mbochs_remove() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/vfio/cdx/main.c vfio_cdx_remove() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/vfio/platform/vfio_platform.c vfio_platform_remove() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/vfio/platform/vfio_amba.c vfio_amba_remove() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
samples/vfio-mdev/mtty.c mtty_remove() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |
drivers/vfio/fsl-mc/vfio_fsl_mc.c vfio_fsl_mc_probe() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 16,4096-ptr_max |
| PARAM_VALUE | 0 | device->cdev.count | 0-1 |
| PARAM_VALUE | 0 | device->cdev.kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | device->cdev.kobj.ktype | 1499647686170447872 |
| PARAM_VALUE | 0 | device->cdev.kobj.name | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.cpu | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.timer.entry.next | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.timer.expires | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.timer.flags | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.timer.function | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.work.data.counter | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.work.entry.next | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.work.entry.prev | 0 |
| PARAM_VALUE | 0 | device->cdev.kobj.release.wq | 0 |
| PARAM_VALUE | 0 | device->cdev.list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | device->cdev.list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->cdev.ops | 5046172142214582272 |
| PARAM_VALUE | 0 | device->debug_root | 4096-u64max |
| PARAM_VALUE | 0 | device->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->device.driver | 0 |
| PARAM_VALUE | 0 | device->device.power.completion.done | u32max |
| PARAM_VALUE | 0 | device->group | 4096-ptr_max |
| PARAM_VALUE | 0 | device->group_next.next | 4096-ptr_max |
| PARAM_VALUE | 0 | device->group_next.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | device->noiommu | 1 |
| PARAM_VALUE | 0 | device->refcount.refs.counter | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | device->cdev.count |
drivers/vfio/fsl-mc/vfio_fsl_mc.c vfio_fsl_mc_remove() -> vfio_unregister_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->mutex |