Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpio-virtio.c virtio_gpio_probe() -> virtio_gpio_alloc_vqs()

Type Parameter Key Value
PARAM_VALUE 0 vgpio 4096-ptr_max
PARAM_VALUE 0 vgpio->eventq_lock.magic 0,3735899821
PARAM_VALUE 0 vgpio->eventq_lock.owner 0,(-1)
PARAM_VALUE 0 vgpio->eventq_lock.owner_cpu 0,u32max
PARAM_VALUE 0 vgpio->gc.base (-1)
PARAM_VALUE 0 vgpio->gc.can_sleep 1
PARAM_VALUE 0 vgpio->gc.direction_input 625553841133092864
PARAM_VALUE 0 vgpio->gc.direction_output 4887280483203461120
PARAM_VALUE 0 vgpio->gc.free 1769654283987210240
PARAM_VALUE 0 vgpio->gc.get 159814092067504128
PARAM_VALUE 0 vgpio->gc.get_direction 2625522658012340224
PARAM_VALUE 0 vgpio->gc.irq.chip 0,4096-ptr_max
PARAM_VALUE 0 vgpio->gc.irq.default_type 0
PARAM_VALUE 0 vgpio->gc.irq.handler 0,7664919504819576832
PARAM_VALUE 0 vgpio->gc.irq.num_parents 0
PARAM_VALUE 0 vgpio->gc.irq.parent_handler 0
PARAM_VALUE 0 vgpio->gc.irq.parents 0
PARAM_VALUE 0 vgpio->gc.ngpio 1-u16max
PARAM_VALUE 0 vgpio->gc.owner 0
PARAM_VALUE 0 vgpio->gc.parent 4096-ptr_max
PARAM_VALUE 0 vgpio->gc.parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 vgpio->gc.set 147776877861617664
PARAM_VALUE 0 vgpio->irq_lines 0,4096-ptr_max
PARAM_VALUE 0 vgpio->irq_lock.first_waiter 0
PARAM_VALUE 0 vgpio->irq_lock.magic 0,4096-ptr_max
PARAM_VALUE 0 vgpio->irq_lock.osq.tail.counter 0
PARAM_VALUE 0 vgpio->irq_lock.owner.counter 0
PARAM_VALUE 0 vgpio->lines 4096-ptr_max
PARAM_VALUE 0 vgpio->lock.dep_map->name 0-255
PARAM_VALUE 0 vgpio->lock.first_waiter 0
PARAM_VALUE 0 vgpio->lock.magic 4096-ptr_max
PARAM_VALUE 0 vgpio->lock.osq.tail.counter 0
PARAM_VALUE 0 vgpio->lock.owner.counter 0
PARAM_VALUE 0 vgpio->vdev 4096-ptr_max
PARAM_VALUE 0 vgpio->vdev->config 4096-ptr_max
PARAM_VALUE 0 vgpio->vdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 vgpio->vdev->priv 4096-ptr_max
PARAM_VALUE 1 vdev 4096-ptr_max
PARAM_VALUE 1 vdev->config 4096-ptr_max
PARAM_VALUE 1 vdev->config->get 4096-ptr_max
PARAM_VALUE 1 vdev->config->get_extended_features 0,6730071979336241152
PARAM_VALUE 1 vdev->config->get_status 4096-ptr_max
PARAM_VALUE 1 vdev->config->set_status 4096-ptr_max
PARAM_VALUE 1 vdev->debugfs_filter_features 4096-ptr_max
PARAM_VALUE 1 vdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 1 vdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 1 vdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 vdev->features_array 4096-ptr_max
PARAM_VALUE 1 vdev->priv 4096-ptr_max
BUF_SIZE 0 vgpio 928
BUF_SIZE 0 vgpio->gc.irq.chip 0,280
BUF_SIZE 0 vgpio->gc.label 1-s32max
BUF_SIZE 0 vgpio->gc.parent 1616
BUF_SIZE 0 vgpio->irq_lines 0,10-655350
BUF_SIZE 0 vgpio->irq_lines->__cacheline_group_end__ 0-655340,u64max
BUF_SIZE 0 vgpio->lines 264-17301240
BUF_SIZE 0 vgpio->lines->__cacheline_group_end__ 0-17300976
BUF_SIZE 1 vdev->priv 928
CAPPED_DATA 0 vgpio->gc.ngpio 1
DATA_SOURCE 0 vgpio r devm_kzalloc
DATA_SOURCE 1 vdev $0
FUZZY_MAX 0 vgpio->eventq_lock.magic 0
FUZZY_MAX 0 vgpio->eventq_lock.owner_cpu 0
MEM_ZERO 0 vgpio
MEM_ZERO 0 vgpio->lines
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vgpio->gc.ngpio 1-u16max[c]
NO_OVERFLOW_SIMPLE 0 vgpio->gc.ngpio