Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/vfio/pci/vfio_pci_dmabuf.c vfio_pci_core_get_dmabuf_phys() -> vfio_pci_core_fill_phys_vec()

Type Parameter Key Value
PARAM_VALUE 0 phys_vec 4096-ptr_max
PARAM_VALUE 1 dma_ranges 4096-ptr_max
PARAM_VALUE 2 nr_ranges 1-u32max
BUF_SIZE 0 phys_vec 16-s32max
BUF_SIZE 0 phys_vec 16-s32max
BUF_SIZE 1 dma_ranges 16
CAPPED_DATA 2 nr_ranges 1
CAPPED_DATA 2 nr_ranges 1
DATA_SOURCE 0 phys_vec $3
DATA_SOURCE 1 dma_ranges $4
DATA_SOURCE 2 nr_ranges $5
NOSPEC 2 nr_ranges
NOSPEC 2 nr_ranges
USER_DATA 1 dma_ranges->length 0-u64max
USER_DATA 1 dma_ranges->offset 0-u64max
USER_DATA 2 nr_ranges 1-u32max[c]
NO_OVERFLOW_SIMPLE 2 nr_ranges
ELEM_COUNT 0 ==phys_vec2 8051
USER_PTR 1 dma_ranges

drivers/vfio/pci/nvgrace-gpu/main.c nvgrace_get_dmabuf_phys() -> vfio_pci_core_fill_phys_vec()

Type Parameter Key Value
PARAM_VALUE 0 phys_vec 4096-ptr_max
PARAM_VALUE 1 dma_ranges 4096-ptr_max
PARAM_VALUE 2 nr_ranges 1-u32max
BUF_SIZE 0 phys_vec 16-s32max
BUF_SIZE 0 phys_vec 16-s32max
BUF_SIZE 1 dma_ranges 16
CAPPED_DATA 2 nr_ranges 1
CAPPED_DATA 2 nr_ranges 1
DATA_SOURCE 0 phys_vec $3
DATA_SOURCE 1 dma_ranges $4
DATA_SOURCE 2 nr_ranges $5
NOSPEC 2 nr_ranges
NOSPEC 2 nr_ranges
USER_DATA 1 dma_ranges->length 0-u64max
USER_DATA 1 dma_ranges->offset 0-u64max
USER_DATA 2 nr_ranges 1-u32max[c]
NO_OVERFLOW_SIMPLE 2 nr_ranges
UNITS 3 start unit_byte
UNITS 4 len unit_byte
ELEM_COUNT 0 ==phys_vec2 8051
USER_PTR 1 dma_ranges