Open Menu /

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_get_reset()

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->igate.dep_map->name 0-255
PARAM_VALUE 0 vdev->igate.first_waiter 0
PARAM_VALUE 0 vdev->igate.magic 4096-ptr_max
PARAM_VALUE 0 vdev->igate.osq.tail.counter 0
PARAM_VALUE 0 vdev->igate.owner.counter 0
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