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]