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 |