Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/selftest.c get_md_pagetable_nested() -> to_mock_nested()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max

drivers/iommu/iommufd/selftest.c iommufd_test_md_check_iotlb() -> to_mock_nested()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max

drivers/iommu/iommufd/selftest.c mock_domain_cache_invalidate_user() -> to_mock_nested()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
DATA_SOURCE 0 domain $0

drivers/iommu/iommufd/selftest.c mock_domain_free_nested() -> to_mock_nested()

Type Parameter Key Value
PARAM_VALUE 0 domain 4096-ptr_max
BUF_SIZE 0 domain (-1),112
BUF_SIZE 0 domain (-1),112
DATA_SOURCE 0 domain $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &container->group_lock
HALF_LOCKED2 &group->mutex
HALF_LOCKED2 &iommu->lock
HALF_LOCKED2 &rproc->lock
HALF_LOCKED2 global &component_mutex
HALF_LOCKED2 global &iommu_sva_lock

drivers/iommu/iommufd/selftest.c mock_domain_nop_attach() -> to_mock_nested()

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