Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vfio/platform/vfio_platform_common.c vfio_platform_init_common() -> vfio_platform_of_probe()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | vdev->flags | 4,8 |
| PARAM_VALUE | 0 | vdev->get_irq | 5186806116781715456,7995412886787710976 |
| PARAM_VALUE | 0 | vdev->get_resource | 1814921534854729728,3105650526804172800 |
| PARAM_VALUE | 0 | vdev->opaque | 4096-ptr_max |
| BUF_SIZE | 0 | vdev->name | s32min,(-10),0-s32max |
| DATA_SOURCE | 0 | vdev | $0 |
| HARD_MAX | 0 | vdev->flags | 8 |
| RX_PATH | |||
| TASK_NOT_RUNNING |