Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/hw_pagetable.c iommufd_hwpt_paging_alloc() -> (struct iommu_ops)->domain_alloc_paging_flags()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 flags 0-10
PARAM_VALUE 2 user_data 0,2618518703692980224
PARAM_VALUE 2 user_data->len 1-u32max
PARAM_VALUE 2 user_data->type 1-u32max
BUF_SIZE 2 user_data (-1)-0,24
BUF_SIZE 2 user_data (-1)-0,24
DATA_SOURCE 2 user_data $6
BIT_INFO 1 flags 0x0,0xb
BIT_INFO 2 user_data 0x0,0x2456d8e333562000
BIT_INFO 2 user_data 0x0,0x2456d8e333562000
USER_DATA 1 flags 0-10[c]
USER_DATA 2 user_data->len 1-u32max[u]
USER_DATA 2 user_data->type 1-u32max[u]
LOCK2 &ioas->mutex
TYPE_LOCK (struct iommufd_ioas)->mutex

drivers/iommu/iommu.c __iommu_paging_domain_alloc_flags() -> (struct iommu_ops)->domain_alloc_paging_flags()

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 4096-ptr_max
PARAM_VALUE 0 dev->iommu->iommu_dev->ops->domain_alloc_paging 0,4096-ptr_max
PARAM_VALUE 0 dev->iommu->iommu_dev->ops->domain_alloc_paging_flags 5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584
PARAM_VALUE 1 flags 0,8
PARAM_VALUE 2 user_data 0
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 $2
FUZZY_MAX 1 flags 8
HARD_MAX 1 flags 8
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &group->mutex