Defined in 2 files as a prototype:

Defined in 2 files as a member:

Defined in 3 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_map_range() -> do_map()

Type Parameter Key Value
PARAM_VALUE 0 range 5179471144816209920
PARAM_VALUE 1 common 4096-ptr_max
PARAM_VALUE 3 map 6176705781931167744
PARAM_VALUE 3 map->attrs.gfp 0,2080,3264,8192-u32max
PARAM_VALUE 3 map->iotlb_gather 1665373437690064896
PARAM_VALUE 3 map->leaf_pgsize_lg2 1-31
PARAM_VALUE 3 map->num_leaves 0-9223372036854775807
BUF_SIZE 1 common 16
DATA_SOURCE 1 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 map->oa 0,4096-1073733632[c]

drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_map_range() -> do_map()

Type Parameter Key Value
PARAM_VALUE 0 range 8604386499066867712
PARAM_VALUE 1 common 4096-ptr_max
PARAM_VALUE 3 map 4792302110909104128
PARAM_VALUE 3 map->attrs.descriptor_bits 0,2-u64max
PARAM_VALUE 3 map->attrs.gfp 0,2080,3264,8192-u32max
PARAM_VALUE 3 map->iotlb_gather 6392367194518552576
PARAM_VALUE 3 map->leaf_pgsize_lg2 1-31
PARAM_VALUE 3 map->num_leaves 0-9223372036854775807
BUF_SIZE 1 common 16
DATA_SOURCE 1 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 map->oa 0,4096-1073733632[c]

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_map_range() -> do_map()

Type Parameter Key Value
PARAM_VALUE 0 range 1327532484463685632
PARAM_VALUE 1 common 4096-ptr_max
PARAM_VALUE 3 map 70602010578919424
PARAM_VALUE 3 map->attrs.gfp 0,2080,3264,8192-u32max
PARAM_VALUE 3 map->iotlb_gather 9109300927582461952
PARAM_VALUE 3 map->leaf_pgsize_lg2 1-31
PARAM_VALUE 3 map->num_leaves 0-9223372036854775807
BUF_SIZE 1 common 16
DATA_SOURCE 1 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 map->oa 0,4096-1073733632[c]

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_map_range() -> do_map()

Type Parameter Key Value
PARAM_VALUE 0 range 4096755351869837312
PARAM_VALUE 1 common 4096-ptr_max
PARAM_VALUE 3 map 8825526410171473920
PARAM_VALUE 3 map->attrs.descriptor_bits 80,82,88,90,214,222,2305843009213694032,2305843009213694034,2305843009213694040,2305843009213694042,2305843009213694166,2305843009213694174,4611686018427387984,4611686018427387986,4611686018427387992,4611686018427387994-u64max
PARAM_VALUE 3 map->attrs.gfp 0,2080,3264,8192-u32max
PARAM_VALUE 3 map->iotlb_gather 8616013789381345280
PARAM_VALUE 3 map->leaf_pgsize_lg2 1-31
PARAM_VALUE 3 map->num_leaves 0-9223372036854775807
BUF_SIZE 1 common 16
DATA_SOURCE 1 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 map->oa 0,4096-1073733632[c]

drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_map_range() -> do_map()

Type Parameter Key Value
PARAM_VALUE 0 range 1265296944994095104
PARAM_VALUE 1 common 4096-ptr_max
PARAM_VALUE 3 map 4586122024534650880
PARAM_VALUE 3 map->attrs.descriptor_bits 0-3,2048-2051
PARAM_VALUE 3 map->attrs.gfp 0,2080,3264,8192-u32max
PARAM_VALUE 3 map->iotlb_gather 1128687454373490688
PARAM_VALUE 3 map->leaf_pgsize_lg2 1-31
PARAM_VALUE 3 map->num_leaves 0-9223372036854775807
BUF_SIZE 1 common 16
DATA_SOURCE 1 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 map->oa 0,4096-1073733632[c]