Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/vfio/platform/vfio_platform.c vfio_platform_init_dev() -> vfio_platform_init_common()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->flags 4
PARAM_VALUE 0 vdev->get_irq 7995412886787710976
PARAM_VALUE 0 vdev->get_resource 3105650526804172800
PARAM_VALUE 0 vdev->opaque 4096-ptr_max
BUF_SIZE 0 vdev->name s32min,(-10),1-s32max
RX_PATH
TASK_NOT_RUNNING

drivers/vfio/platform/vfio_amba.c vfio_amba_init_dev() -> vfio_platform_init_common()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->flags 8
PARAM_VALUE 0 vdev->get_irq 5186806116781715456
PARAM_VALUE 0 vdev->get_resource 1814921534854729728
PARAM_VALUE 0 vdev->name 1-u64max
PARAM_VALUE 0 vdev->opaque 4096-ptr_max
PARAM_VALUE 0 vdev->reset_required 0
BUF_SIZE 0 vdev->name 0-s32max
CAPPED_DATA 0 vdev->name 1
RX_PATH
TASK_NOT_RUNNING