Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/generic_pt/fmt/iommu_amdv1.c check_map_range() -> increase_top()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu_table | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu_table->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 5179471144816209920 |
| PARAM_VALUE | 1 | range->last_va | 1-u64max |
| PARAM_VALUE | 1 | range->va | 0-18446744073709551614 |
| PARAM_VALUE | 2 | map | 6176705781931167744 |
| PARAM_VALUE | 2 | map->attrs.gfp | 0,2080,3264,8192-u32max |
| PARAM_VALUE | 2 | map->iotlb_gather | 1665373437690064896 |
| PARAM_VALUE | 2 | map->leaf_pgsize_lg2 | 1-31 |
| PARAM_VALUE | 2 | map->num_leaves | 0-9223372036854775807 |
| DATA_SOURCE | 0 | iommu_table | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | map | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | map->leaf_pgsize_lg2 | 1-31 |
| USER_DATA | 2 | map->num_leaves | 0-9223372036854775807[c] |
| USER_DATA | 2 | map->oa | 0,4096-1073733632[c] |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c check_map_range() -> increase_top()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu_table | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu_table->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 8604386499066867712 |
| PARAM_VALUE | 1 | range->last_va | 1-u64max |
| PARAM_VALUE | 1 | range->va | 0-18446744073709551614 |
| PARAM_VALUE | 2 | map | 4792302110909104128 |
| PARAM_VALUE | 2 | map->attrs.descriptor_bits | 0,2-u64max |
| PARAM_VALUE | 2 | map->attrs.gfp | 0,2080,3264,8192-u32max |
| PARAM_VALUE | 2 | map->iotlb_gather | 6392367194518552576 |
| PARAM_VALUE | 2 | map->leaf_pgsize_lg2 | 1-31 |
| PARAM_VALUE | 2 | map->num_leaves | 0-9223372036854775807 |
| DATA_SOURCE | 0 | iommu_table | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | map | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | map->leaf_pgsize_lg2 | 1-31 |
| USER_DATA | 2 | map->num_leaves | 0-9223372036854775807[c] |
| USER_DATA | 2 | map->oa | 0,4096-1073733632[c] |
drivers/iommu/generic_pt/fmt/iommu_mock.c check_map_range() -> increase_top()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu_table | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu_table->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 1327532484463685632 |
| PARAM_VALUE | 1 | range->last_va | 1-u64max |
| PARAM_VALUE | 1 | range->va | 0-18446744073709551614 |
| PARAM_VALUE | 2 | map | 70602010578919424 |
| PARAM_VALUE | 2 | map->attrs.gfp | 0,2080,3264,8192-u32max |
| PARAM_VALUE | 2 | map->iotlb_gather | 9109300927582461952 |
| PARAM_VALUE | 2 | map->leaf_pgsize_lg2 | 1-31 |
| PARAM_VALUE | 2 | map->num_leaves | 0-9223372036854775807 |
| DATA_SOURCE | 0 | iommu_table | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | map | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | map->leaf_pgsize_lg2 | 1-31 |
| USER_DATA | 2 | map->num_leaves | 0-9223372036854775807[c] |
| USER_DATA | 2 | map->oa | 0,4096-1073733632[c] |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c check_map_range() -> increase_top()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu_table | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu_table->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 4096755351869837312 |
| PARAM_VALUE | 1 | range->last_va | 1-u64max |
| PARAM_VALUE | 1 | range->va | 0-18446744073709551614 |
| PARAM_VALUE | 2 | map | 8825526410171473920 |
| PARAM_VALUE | 2 | map->attrs.descriptor_bits | 80,82,88,90,214,222,2305843009213694032,2305843009213694034,2305843009213694040,2305843009213694042,2305843009213694166,2305843009213694174,4611686018427387984,4611686018427387986,4611686018427387992,4611686018427387994-u64max |
| PARAM_VALUE | 2 | map->attrs.gfp | 0,2080,3264,8192-u32max |
| PARAM_VALUE | 2 | map->iotlb_gather | 8616013789381345280 |
| PARAM_VALUE | 2 | map->leaf_pgsize_lg2 | 1-31 |
| PARAM_VALUE | 2 | map->num_leaves | 0-9223372036854775807 |
| DATA_SOURCE | 0 | iommu_table | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | map | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | map->leaf_pgsize_lg2 | 1-31 |
| USER_DATA | 2 | map->num_leaves | 0-9223372036854775807[c] |
| USER_DATA | 2 | map->oa | 0,4096-1073733632[c] |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c check_map_range() -> increase_top()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iommu_table | 4096-ptr_max |
| PARAM_VALUE | 0 | iommu_table->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 1265296944994095104 |
| PARAM_VALUE | 1 | range->last_va | 1-u64max |
| PARAM_VALUE | 1 | range->va | 0-18446744073709551614 |
| PARAM_VALUE | 2 | map | 4586122024534650880 |
| PARAM_VALUE | 2 | map->attrs.descriptor_bits | 0-3,2048-2051 |
| PARAM_VALUE | 2 | map->attrs.gfp | 0,2080,3264,8192-u32max |
| PARAM_VALUE | 2 | map->iotlb_gather | 1128687454373490688 |
| PARAM_VALUE | 2 | map->leaf_pgsize_lg2 | 1-31 |
| PARAM_VALUE | 2 | map->num_leaves | 0-9223372036854775807 |
| DATA_SOURCE | 0 | iommu_table | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | map | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | map->leaf_pgsize_lg2 | 1-31 |
| USER_DATA | 2 | map->num_leaves | 0-9223372036854775807[c] |
| USER_DATA | 2 | map->oa | 0,4096-1073733632[c] |