Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/gpio/gpio-virtio.c virtio_gpio_get_names() -> _virtio_gpio_req()

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->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 vgpio->vdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vgpio->vdev->priv 4096-ptr_max
PARAM_VALUE 1 type 1
PARAM_VALUE 2 gpio 0
PARAM_VALUE 3 txvalue 0
PARAM_VALUE 4 rxvalue 0
PARAM_VALUE 5 response 4096-ptr_max
BUF_SIZE 0 vgpio 928
BUF_SIZE 0 vgpio->gc.irq.chip 0,280
BUF_SIZE 0 vgpio->gc.label s32min,(-10),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__ (-1)-655340
BUF_SIZE 0 vgpio->lines 264-17301240
BUF_SIZE 0 vgpio->lines->__cacheline_group_end__ 0-17300976
BUF_SIZE 5 response 0-s32max,18446744071562067968-u64max
CAPPED_DATA 0 vgpio->gc.ngpio 1
DATA_SOURCE 0 vgpio $0
DATA_SOURCE 5 response r devm_kzalloc
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]
HOST_DATA 6 rxlen 0-u32max
NO_OVERFLOW_SIMPLE 0 vgpio->gc.ngpio
UNITS 6 rxlen unit_byte

drivers/gpio/gpio-virtio.c virtio_gpio_req() -> _virtio_gpio_req()

Type Parameter Key Value
PARAM_VALUE 0 vgpio->lines 4096-ptr_max
PARAM_VALUE 1 type 2-6
PARAM_VALUE 4 rxvalue 0,2833131417303134208,8957412061189357568
PARAM_VALUE 5 response 4096-ptr_max
PARAM_VALUE 6 rxlen 2
BUF_SIZE 0 vgpio s32min-(-2),1-s32max
BUF_SIZE 0 vgpio s32min-(-2),1-s32max
BUF_SIZE 5 response 2
DATA_SOURCE 0 vgpio $0
DATA_SOURCE 1 type $1
DATA_SOURCE 2 gpio $2
DATA_SOURCE 3 txvalue $3
DATA_SOURCE 4 rxvalue $4
HARD_MAX 1 type 6
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 txvalue 0-1[c]
NO_OVERFLOW_SIMPLE 2 gpio
UNITS 2 gpio unit_array_size
UNITS 6 rxlen unit_byte