Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/vfio/cdx/main.c, line 317
- drivers/vfio/fsl-mc/vfio_fsl_mc.c, line 537
- drivers/vfio/pci/vfio_pci_core.c, line 2302
- drivers/vfio/platform/vfio_amba.c, line 80
- drivers/vfio/platform/vfio_platform.c, line 67
- drivers/vfio/vfio_main.c, line 406
Smatch caller information:
drivers/vfio/pci/vfio_pci_core.c vfio_pci_core_register_device() -> vfio_register_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 4096-ptr_max |
| PARAM_VALUE | 0 | device->dev_set | 4096-ptr_max |
| PARAM_VALUE | 0 | device->dev_set_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | device->log_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | device->mig_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | device->ops | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/vfio/cdx/main.c vfio_cdx_probe() -> vfio_register_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 16,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/vfio/platform/vfio_platform.c vfio_platform_probe() -> vfio_register_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 16,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/vfio/platform/vfio_amba.c vfio_amba_probe() -> vfio_register_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 16,4096-ptr_max |
drivers/vfio/fsl-mc/vfio_fsl_mc.c vfio_fsl_mc_probe() -> vfio_register_group_dev()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | device | 16,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING |