Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/vfio/pci/vfio_pci_dmabuf.c vfio_pci_core_feature_dma_buf() -> (struct vfio_pci_device_ops)->get_dmabuf_phys()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | core_vdev | 4096-ptr_max |
| PARAM_VALUE | 0 | core_vdev->pci_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | core_vdev->pci_ops->get_dmabuf_phys | 1576785496634683392,4291630769997783040 |
| PARAM_VALUE | 1 | provider | 4096-ptr_max |
| PARAM_VALUE | 2 | region_index | 0-5 |
| PARAM_VALUE | 3 | phys_vec | 4096-ptr_max |
| PARAM_VALUE | 4 | dma_ranges | 4096-ptr_max |
| PARAM_VALUE | 5 | nr_ranges | 1-u32max |
| BUF_SIZE | 3 | phys_vec | 16-68719476720 |
| BUF_SIZE | 3 | phys_vec | 16-68719476720 |
| BUF_SIZE | 4 | dma_ranges | 16 |
| CAPPED_DATA | 5 | nr_ranges | 1 |
| DATA_SOURCE | 0 | core_vdev | $0 |
| DATA_SOURCE | 3 | phys_vec | r _kzalloc_noprof |
| DATA_SOURCE | 4 | dma_ranges | r memdup_array_user |
| CONTAINER | 0 | -0-2272+0 | $(-1) |
| NOSPEC | 5 | nr_ranges | |
| NOSPEC | 5 | nr_ranges | |
| USER_DATA | 2 | region_index | 0-5 |
| USER_DATA | 4 | dma_ranges->length | 0-u64max |
| USER_DATA | 4 | dma_ranges->offset | 0-u64max |
| USER_DATA | 4 | *dma_ranges | s64min-s64max |
| USER_DATA | 5 | nr_ranges | 1-u32max[c] |
| NO_OVERFLOW_SIMPLE | 5 | nr_ranges | |
| ELEM_COUNT | 3 | ==phys_vec5 | 8051 |
| USER_PTR | 4 | dma_ranges |