Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/amd/iommu.c amd_iommu_domain_alloc_paging_flags() -> amd_iommu_domain_alloc_paging_v2()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iommu 4096-ptr_max
PARAM_VALUE 0 dev->iommu->iommu_dev->ops->domain_alloc_paging_flags 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584
PARAM_VALUE 1 flags 0-10
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev->dma_parms (-1),16
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 flags $1
BIT_INFO 1 flags 0x0,0xb
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 flags 0-10[c]
HALF_LOCKED2 &ioas->mutex

drivers/iommu/amd/iommu.c amd_iommu_domain_alloc_paging_flags() -> amd_iommu_domain_alloc_paging_v2()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iommu 4096-ptr_max
PARAM_VALUE 0 dev->iommu->iommu_dev->ops->domain_alloc_paging_flags 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584
PARAM_VALUE 1 flags 0-10
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev->dma_parms (-1),16
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 flags $1
BIT_INFO 1 flags 0x0,0xb
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 flags 0-10[c]
HALF_LOCKED2 &ioas->mutex

drivers/iommu/amd/iommu.c amd_iommu_domain_alloc_paging_flags() -> amd_iommu_domain_alloc_paging_v2()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->iommu 4096-ptr_max
PARAM_VALUE 0 dev->iommu->iommu_dev->ops->domain_alloc_paging_flags 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584
PARAM_VALUE 1 flags 0-10
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev->dma_parms (-1),16
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 flags $1
BIT_INFO 1 flags 0x0,0xb
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 flags 0-10[c]
HALF_LOCKED2 &ioas->mutex