Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/ipmmu-vmsa.c ipmmu_attach_device() -> to_vmsa_domain()

Type Parameter Key Value
DATA_SOURCE 0 dom $0

drivers/iommu/ipmmu-vmsa.c ipmmu_domain_free() -> to_vmsa_domain()

Type Parameter Key Value
DATA_SOURCE 0 dom $0

drivers/iommu/ipmmu-vmsa.c ipmmu_flush_iotlb_all() -> to_vmsa_domain()

Type Parameter Key Value
DATA_SOURCE 0 dom $0

drivers/iommu/ipmmu-vmsa.c ipmmu_iommu_identity_attach() -> to_vmsa_domain()

Type Parameter Key Value
PARAM_VALUE 0 dom 1-u64max
BUF_SIZE 0 dom (-1),112
BUF_SIZE 0 dom (-1),112
BUF_SIZE 0 dom->iommufd_hwpt (-1),40
DATA_SOURCE 0 dom $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &group->mutex

drivers/iommu/ipmmu-vmsa.c ipmmu_iova_to_phys() -> to_vmsa_domain()

Type Parameter Key Value
DATA_SOURCE 0 dom $0

drivers/iommu/ipmmu-vmsa.c ipmmu_map() -> to_vmsa_domain()

Type Parameter Key Value
DATA_SOURCE 0 dom $0

drivers/iommu/ipmmu-vmsa.c ipmmu_unmap() -> to_vmsa_domain()

Type Parameter Key Value
DATA_SOURCE 0 dom $0