Defined in 1 files as a prototype:
Defined in 2 files as a function:
- arch/arm/mm/dma-mapping.c, line 1727 (as a function)
- include/linux/dma-map-ops.h, line 414 (as a function)
Referenced in 7 files:
- drivers/acpi/arm64/iort.c, line 2009
- drivers/amba/bus.c, line 342
- drivers/base/dd.c, line 598
- drivers/base/platform.c, line 1559
- drivers/bus/fsl-mc/fsl-mc-bus.c, line 200
- drivers/cdx/cdx.c, line 367
- drivers/pci/pci-driver.c, line 1723
Smatch caller information:
drivers/base/platform.c platform_dma_configure() -> arch_teardown_dma_ops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->iommu_group->default_domain | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->acpi_flags | 0-255 |
| HOST_DATA | 0 | dev->cap | 0-4294967295 |
| HOST_DATA | 0 | dev->cap_ptr | 0-u16max |
| HOST_DATA | 0 | dev->cmd_buf_head | 0-4294967295 |
| HOST_DATA | 0 | dev->cmd_buf_tail | 0-4294967295 |
| HOST_DATA | 0 | dev->cmd_sem_paddr | s64min-s64max |
| HOST_DATA | 0 | dev->cmd_sem_val | s64min-s64max |
| HOST_DATA | 0 | dev->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 0 | dev->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 0 | dev->devid | 0-u16max |
| HOST_DATA | 0 | dev->features | s64min-s64max |
| HOST_DATA | 0 | dev->features2 | s64min-s64max |
| HOST_DATA | 0 | dev->flags | 4096-u32max |
| HOST_DATA | 0 | dev->index | s32min-s32max |
| HOST_DATA | 0 | dev->int_enabled | 0-1 |
| HOST_DATA | 0 | dev->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | dev->iommu.ready | 0-1 |
| HOST_DATA | 0 | dev->irtcachedis_enabled | 0-1 |
| HOST_DATA | 0 | dev->lock.magic | 0-4294967295 |
| HOST_DATA | 0 | dev->lock.owner_cpu | 0-4294967295 |
| HOST_DATA | 0 | dev->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | dev->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | dev->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | dev->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | dev->lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 0 | dev->max_banks | 0-255 |
| HOST_DATA | 0 | dev->max_counters | 0-255 |
| HOST_DATA | 0 | dev->mmio_phys | s64min-s64max |
| HOST_DATA | 0 | dev->mmio_phys_end | s64min-s64max |
| HOST_DATA | 0 | dev->need_sync | 0-1 |
| HOST_DATA | 0 | dev->stored_addr_hi | 0-4294967295 |
| HOST_DATA | 0 | dev->stored_addr_lo | 0-4294967295 |
| HOST_DATA | 0 | *dev | s64min-s64max |
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/bus/fsl-mc/fsl-mc-bus.c fsl_mc_dma_configure() -> arch_teardown_dma_ops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->iommu_group->default_domain | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->acpi_flags | 0-255 |
| HOST_DATA | 0 | dev->cap | 0-4294967295 |
| HOST_DATA | 0 | dev->cap_ptr | 0-u16max |
| HOST_DATA | 0 | dev->cmd_buf_head | 0-4294967295 |
| HOST_DATA | 0 | dev->cmd_buf_tail | 0-4294967295 |
| HOST_DATA | 0 | dev->cmd_sem_paddr | s64min-s64max |
| HOST_DATA | 0 | dev->cmd_sem_val | s64min-s64max |
| HOST_DATA | 0 | dev->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 0 | dev->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 0 | dev->devid | 0-u16max |
| HOST_DATA | 0 | dev->features | s64min-s64max |
| HOST_DATA | 0 | dev->features2 | s64min-s64max |
| HOST_DATA | 0 | dev->flags | 4096-u32max |
| HOST_DATA | 0 | dev->index | s32min-s32max |
| HOST_DATA | 0 | dev->int_enabled | 0-1 |
| HOST_DATA | 0 | dev->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | dev->iommu.ready | 0-1 |
| HOST_DATA | 0 | dev->irtcachedis_enabled | 0-1 |
| HOST_DATA | 0 | dev->lock.magic | 0-4294967295 |
| HOST_DATA | 0 | dev->lock.owner_cpu | 0-4294967295 |
| HOST_DATA | 0 | dev->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | dev->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | dev->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | dev->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | dev->lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 0 | dev->max_banks | 0-255 |
| HOST_DATA | 0 | dev->max_counters | 0-255 |
| HOST_DATA | 0 | dev->mmio_phys | s64min-s64max |
| HOST_DATA | 0 | dev->mmio_phys_end | s64min-s64max |
| HOST_DATA | 0 | dev->need_sync | 0-1 |
| HOST_DATA | 0 | dev->stored_addr_hi | 0-4294967295 |
| HOST_DATA | 0 | dev->stored_addr_lo | 0-4294967295 |
| HOST_DATA | 0 | *dev | s64min-s64max |
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/pci/pci-driver.c pci_dma_configure() -> arch_teardown_dma_ops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->iommu_group->default_domain | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->acpi_flags | 0-255 |
| HOST_DATA | 0 | dev->cap | 0-4294967295 |
| HOST_DATA | 0 | dev->cap_ptr | 0-u16max |
| HOST_DATA | 0 | dev->cmd_buf_head | 0-4294967295 |
| HOST_DATA | 0 | dev->cmd_buf_tail | 0-4294967295 |
| HOST_DATA | 0 | dev->cmd_sem_paddr | s64min-s64max |
| HOST_DATA | 0 | dev->cmd_sem_val | s64min-s64max |
| HOST_DATA | 0 | dev->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 0 | dev->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 0 | dev->devid | 0-u16max |
| HOST_DATA | 0 | dev->features | s64min-s64max |
| HOST_DATA | 0 | dev->features2 | s64min-s64max |
| HOST_DATA | 0 | dev->flags | 4096-u32max |
| HOST_DATA | 0 | dev->index | s32min-s32max |
| HOST_DATA | 0 | dev->int_enabled | 0-1 |
| HOST_DATA | 0 | dev->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | dev->iommu.ready | 0-1 |
| HOST_DATA | 0 | dev->irtcachedis_enabled | 0-1 |
| HOST_DATA | 0 | dev->lock.magic | 0-4294967295 |
| HOST_DATA | 0 | dev->lock.owner_cpu | 0-4294967295 |
| HOST_DATA | 0 | dev->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | dev->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | dev->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | dev->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | dev->lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 0 | dev->max_banks | 0-255 |
| HOST_DATA | 0 | dev->max_counters | 0-255 |
| HOST_DATA | 0 | dev->mmio_phys | s64min-s64max |
| HOST_DATA | 0 | dev->mmio_phys_end | s64min-s64max |
| HOST_DATA | 0 | dev->need_sync | 0-1 |
| HOST_DATA | 0 | dev->stored_addr_hi | 0-4294967295 |
| HOST_DATA | 0 | dev->stored_addr_lo | 0-4294967295 |
| HOST_DATA | 0 | *dev | s64min-s64max |
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/base/dd.c device_unbind_cleanup() -> arch_teardown_dma_ops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->bus | 1 |
| CAPPED_DATA | 0 | dev->driver | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| HALF_LOCKED2 | 0 | &dev->mutex |
drivers/cdx/cdx.c cdx_dma_configure() -> arch_teardown_dma_ops()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| BUF_SIZE | 0 | dev | (-1)-0,16,24,56,64,120,1616,7104 |
| CAPPED_DATA | 0 | dev | 1 |
| CAPPED_DATA | 0 | dev->iommu_group->default_domain | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | dev->acpi_flags | 0-255 |
| HOST_DATA | 0 | dev->cap | 0-4294967295 |
| HOST_DATA | 0 | dev->cap_ptr | 0-u16max |
| HOST_DATA | 0 | dev->cmd_buf_head | 0-4294967295 |
| HOST_DATA | 0 | dev->cmd_buf_tail | 0-4294967295 |
| HOST_DATA | 0 | dev->cmd_sem_paddr | s64min-s64max |
| HOST_DATA | 0 | dev->cmd_sem_val | s64min-s64max |
| HOST_DATA | 0 | dev->dbg_cap_offset | s32min-s32max |
| HOST_DATA | 0 | dev->dbg_mmio_offset | s32min-s32max |
| HOST_DATA | 0 | dev->devid | 0-u16max |
| HOST_DATA | 0 | dev->features | s64min-s64max |
| HOST_DATA | 0 | dev->features2 | s64min-s64max |
| HOST_DATA | 0 | dev->index | s32min-s32max |
| HOST_DATA | 0 | dev->int_enabled | 0-1 |
| HOST_DATA | 0 | dev->iommu.max_pasids | 0-u32max |
| HOST_DATA | 0 | dev->iommu.ready | 0-1 |
| HOST_DATA | 0 | dev->irtcachedis_enabled | 0-1 |
| HOST_DATA | 0 | dev->lock.magic | 0-4294967295 |
| HOST_DATA | 0 | dev->lock.owner_cpu | 0-4294967295 |
| HOST_DATA | 0 | dev->lock.raw_lock.locked | 0-255 |
| HOST_DATA | 0 | dev->lock.raw_lock.locked_pending | 0-u16max |
| HOST_DATA | 0 | dev->lock.raw_lock.pending | 0-255 |
| HOST_DATA | 0 | dev->lock.raw_lock.tail | 0-u16max |
| HOST_DATA | 0 | dev->lock.raw_lock.val.counter | s32min-s32max |
| HOST_DATA | 0 | dev->max_banks | 0-255 |
| HOST_DATA | 0 | dev->max_counters | 0-255 |
| HOST_DATA | 0 | dev->mmio_phys | s64min-s64max |
| HOST_DATA | 0 | dev->mmio_phys_end | s64min-s64max |
| HOST_DATA | 0 | dev->need_sync | 0-1 |
| HOST_DATA | 0 | dev->stored_addr_hi | 0-4294967295 |
| HOST_DATA | 0 | dev->stored_addr_lo | 0-4294967295 |
| HOST_DATA | 0 | *dev | s64min-s64max |
| HALF_LOCKED2 | 0 | &dev->mutex |