Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_map_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 5179471144816209920 |
| BUF_SIZE | 0 | common | 16 |
| DATA_SOURCE | 0 | common | r common_from_iommu |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | len | 0-12884905984[c] |
| USER_DATA | 2 | iova | 0,4096-9223372036854775807[c] |
| USER_DATA | 3 | len | 0,4096-18446744073709547520[c] |
drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_set_dirty() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 5307219110259068928 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_unmap_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 5572621978234724352 |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $2 |
| NOSPEC | 2 | iova | |
| NOSPEC | 2 | iova | |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| HOST_DATA | 3 | len | 0-u64max[c] |
| USER_DATA | 2 | iova | 0-u64max[c] |
| USER_DATA | 3 | len | 0-u64max[c] |
drivers/iommu/generic_pt/fmt/iommu_amdv1.c make_range_u64() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | common | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | iova | $2 |
| DATA_SOURCE | 3 | len | $3 |
drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_iommu_amdv1_iova_to_phys() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 4627131319536590848 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| USER_DATA | 2 | iova | 0-u64max |
drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_iommu_amdv1_read_and_clear_dirty() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 6034519702065700864 |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $2 |
| USER_DATA | 2 | iova | 0-u64max |
| HALF_LOCKED2 | &iopt->iova_rwsem |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c make_range_u64() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | common | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | iova | $2 |
| DATA_SOURCE | 3 | len | $3 |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_iommu_x86_64_iova_to_phys() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 1686463107147075584 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| USER_DATA | 2 | iova | 0-u64max |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_map_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 8604386499066867712 |
| BUF_SIZE | 0 | common | 16 |
| DATA_SOURCE | 0 | common | r common_from_iommu |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | len | 0-12884905984[c] |
| USER_DATA | 2 | iova | 0,4096-9223372036854775807[c] |
| USER_DATA | 3 | len | 0,4096-18446744073709547520[c] |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_set_dirty() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 8426188283726516224 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_unmap_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 7479217748038828032 |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $2 |
| NOSPEC | 2 | iova | |
| NOSPEC | 2 | iova | |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| HOST_DATA | 3 | len | 0-u64max[c] |
| USER_DATA | 2 | iova | 0-u64max[c] |
| USER_DATA | 3 | len | 0-u64max[c] |
drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_map_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 1327532484463685632 |
| BUF_SIZE | 0 | common | 16 |
| DATA_SOURCE | 0 | common | r common_from_iommu |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | len | 0-12884905984[c] |
| USER_DATA | 2 | iova | 0,4096-9223372036854775807[c] |
| USER_DATA | 3 | len | 0,4096-18446744073709547520[c] |
drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_set_dirty() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 1702647589132652544 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_unmap_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 6442373486674202624 |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $2 |
| NOSPEC | 2 | iova | |
| NOSPEC | 2 | iova | |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| HOST_DATA | 3 | len | 0-u64max[c] |
| USER_DATA | 2 | iova | 0-u64max[c] |
| USER_DATA | 3 | len | 0-u64max[c] |
drivers/iommu/generic_pt/fmt/iommu_mock.c make_range_u64() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | common | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | iova | $2 |
| DATA_SOURCE | 3 | len | $3 |
drivers/iommu/generic_pt/fmt/iommu_mock.c pt_iommu_amdv1_mock_iova_to_phys() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 4270118808106242048 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| USER_DATA | 2 | iova | 0-u64max |
drivers/iommu/generic_pt/fmt/iommu_mock.c pt_iommu_amdv1_mock_read_and_clear_dirty() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 8565615692461563904 |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $2 |
| USER_DATA | 2 | iova | 0-u64max |
| HALF_LOCKED2 | &iopt->iova_rwsem |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c make_range_u64() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | common | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | iova | $2 |
| DATA_SOURCE | 3 | len | $3 |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_iommu_riscv_64_iova_to_phys() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 4210434713384980480 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| USER_DATA | 2 | iova | 0-u64max |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_map_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 4096755351869837312 |
| BUF_SIZE | 0 | common | 16 |
| DATA_SOURCE | 0 | common | r common_from_iommu |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | len | 0-12884905984[c] |
| USER_DATA | 2 | iova | 0,4096-9223372036854775807[c] |
| USER_DATA | 3 | len | 0,4096-18446744073709547520[c] |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_set_dirty() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 3384072506876182528 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_unmap_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 2600637431878389760 |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $2 |
| NOSPEC | 2 | iova | |
| NOSPEC | 2 | iova | |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| HOST_DATA | 3 | len | 0-u64max[c] |
| USER_DATA | 2 | iova | 0-u64max[c] |
| USER_DATA | 3 | len | 0-u64max[c] |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c make_range_u64() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | common | $0 |
| DATA_SOURCE | 1 | range | $1 |
| DATA_SOURCE | 2 | iova | $2 |
| DATA_SOURCE | 3 | len | $3 |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_iommu_vtdss_iova_to_phys() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 3916666939067740160 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| USER_DATA | 2 | iova | 0-u64max |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_iommu_vtdss_read_and_clear_dirty() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 6282042891780599808 |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $2 |
| USER_DATA | 2 | iova | 0-u64max |
| HALF_LOCKED2 | &iopt->iova_rwsem |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_map_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 1265296944994095104 |
| BUF_SIZE | 0 | common | 16 |
| DATA_SOURCE | 0 | common | r common_from_iommu |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | len | 0-12884905984[c] |
| USER_DATA | 2 | iova | 0,4096-9223372036854775807[c] |
| USER_DATA | 3 | len | 0,4096-18446744073709547520[c] |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_set_dirty() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 6889156749762023424 |
| PARAM_VALUE | 3 | len | 1 |
| DATA_SOURCE | 2 | iova | $1 |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_unmap_range() -> make_range_ul()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | common | 4096-ptr_max |
| PARAM_VALUE | 1 | range | 8853843376051085312 |
| DATA_SOURCE | 2 | iova | $1 |
| DATA_SOURCE | 3 | len | $2 |
| NOSPEC | 2 | iova | |
| NOSPEC | 2 | iova | |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | iova | 0-u64max |
| HOST_DATA | 3 | len | 0-u64max[c] |
| USER_DATA | 2 | iova | 0-u64max[c] |
| USER_DATA | 3 | len | 0-u64max[c] |