Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_pci_modern_dev.c vp_modern_map_vq_notify() -> vp_modern_map_capability()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->notify_base 0
PARAM_VALUE 2 minlen 2
PARAM_VALUE 3 align 2
PARAM_VALUE 5 size 2
PARAM_VALUE 6 len 0
PARAM_VALUE 7 pa 0,4096-ptr_max
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev (-1),112
DATA_SOURCE 0 mdev $0
DATA_SOURCE 7 pa $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vdpa_dev->cf_lock
HALF_LOCKED2 global &vdpa_dev_lock

drivers/virtio/virtio_pci_modern_dev.c vp_modern_probe() -> vp_modern_map_capability()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->id.device 0-u16max
PARAM_VALUE 0 mdev->id.vendor 0-u16max
PARAM_VALUE 0 mdev->modern_bars 0-s32max
PARAM_VALUE 0 mdev->pci_dev 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->device 4096-4223
PARAM_VALUE 0 mdev->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 1 off 1-255
PARAM_VALUE 2 minlen 56
PARAM_VALUE 3 align 4
PARAM_VALUE 4 start 0
PARAM_VALUE 5 size 64
PARAM_VALUE 6 len 4096-ptr_max
PARAM_VALUE 7 pa 0
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 mdev $0
DATA_SOURCE 1 off r virtio_pci_find_capability
FUZZY_MAX 0 mdev->id.device 63
FUZZY_MAX 0 mdev->pci_dev->device 4160
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 mdev->modern_bars 0-s32max[c]
HOST_DATA 0 mdev->pci_dev->current_state 0-3[c]
UNITS 2 minlen unit_byte
UNITS 5 size unit_byte

drivers/virtio/virtio_pci_modern_dev.c vp_modern_probe() -> vp_modern_map_capability()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->id.device 0-u16max
PARAM_VALUE 0 mdev->id.vendor 0-u16max
PARAM_VALUE 0 mdev->modern_bars 0-s32max
PARAM_VALUE 0 mdev->pci_dev 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus->ops 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus->ops->read 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->device 4096-4223
PARAM_VALUE 0 mdev->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 1 off 1-255
PARAM_VALUE 2 minlen 1
PARAM_VALUE 3 align 1
PARAM_VALUE 4 start 0
PARAM_VALUE 5 size 1
PARAM_VALUE 6 len 0
PARAM_VALUE 7 pa 0
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 mdev $0
DATA_SOURCE 1 off r virtio_pci_find_capability
FUZZY_MAX 0 mdev->id.device 63
FUZZY_MAX 0 mdev->pci_dev->device 4160
BIT_INFO 0 mdev->common 0x0,0x1ffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 mdev->modern_bars 0-s32max[c]
HOST_DATA 0 mdev->pci_dev->current_state 0-3[c]
UNITS 2 minlen unit_byte

drivers/virtio/virtio_pci_modern_dev.c vp_modern_probe() -> vp_modern_map_capability()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->id.device 0-u16max
PARAM_VALUE 0 mdev->id.vendor 0-u16max
PARAM_VALUE 0 mdev->modern_bars 0-s32max
PARAM_VALUE 0 mdev->notify_offset_multiplier 0
PARAM_VALUE 0 mdev->pci_dev 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus->ops 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus->ops->read 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->device 4096-4223
PARAM_VALUE 0 mdev->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 1 off 1-255
PARAM_VALUE 2 minlen 2
PARAM_VALUE 3 align 2
PARAM_VALUE 4 start 0
PARAM_VALUE 5 size 0
PARAM_VALUE 6 len 4096-ptr_max
PARAM_VALUE 7 pa 4096-ptr_max
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 mdev $0
DATA_SOURCE 1 off r virtio_pci_find_capability
FUZZY_MAX 0 mdev->id.device 63
FUZZY_MAX 0 mdev->pci_dev->device 4160
BIT_INFO 0 mdev->common 0x0,0x1ffff
BIT_INFO 0 mdev->isr 0x0,0x1ffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 mdev->modern_bars 0-s32max[c]
HOST_DATA 0 mdev->notify_offset_multiplier 0
HOST_DATA 0 mdev->pci_dev->current_state 0-3[c]
HOST_DATA 5 size 0

drivers/virtio/virtio_pci_modern_dev.c vp_modern_probe() -> vp_modern_map_capability()

Type Parameter Key Value
PARAM_VALUE 0 mdev 4096-ptr_max
PARAM_VALUE 0 mdev->id.device 0-u16max
PARAM_VALUE 0 mdev->id.vendor 0-u16max
PARAM_VALUE 0 mdev->modern_bars 0-s32max
PARAM_VALUE 0 mdev->notify_map_cap 1-255
PARAM_VALUE 0 mdev->notify_offset_multiplier 0
PARAM_VALUE 0 mdev->pci_dev 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus->ops 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->bus->ops->read 4096-ptr_max
PARAM_VALUE 0 mdev->pci_dev->device 4096-4223
PARAM_VALUE 0 mdev->pci_dev->error_state 0-2,4-u32max
PARAM_VALUE 1 off 1-255
PARAM_VALUE 2 minlen 0
PARAM_VALUE 3 align 4
PARAM_VALUE 4 start 0
PARAM_VALUE 5 size 4096
PARAM_VALUE 6 len 4096-ptr_max
PARAM_VALUE 7 pa 0
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev (-1),112
BUF_SIZE 0 mdev->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 mdev $0
DATA_SOURCE 1 off r virtio_pci_find_capability
FUZZY_MAX 0 mdev->id.device 63
FUZZY_MAX 0 mdev->pci_dev->device 4160
BIT_INFO 0 mdev->common 0x0,0x1ffff
BIT_INFO 0 mdev->isr 0x0,0x1ffff
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 mdev->modern_bars 0-s32max[c]
HOST_DATA 0 mdev->notify_offset_multiplier 0
HOST_DATA 0 mdev->pci_dev->current_state 0-3[c]
UNITS 5 size unit_byte