Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_deinit() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 5948299016412405760
PARAM_VALUE 1 fn 3828467782609207296
PARAM_VALUE 2 arg 1317030290591670272
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_set_dirty() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 5307219110259068928
PARAM_VALUE 0 range->max_vasz_lg2 1-255
PARAM_VALUE 1 fn 1792987529957289984
PARAM_VALUE 2 arg 0

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_unmap_range() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 5572621978234724352
PARAM_VALUE 0 range->max_vasz_lg2 1-255
PARAM_VALUE 1 fn 8024718011526569984
PARAM_VALUE 2 arg 1404502059194839040
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 range 5179471144816209920
PARAM_VALUE 1 fn 6644117487713906688
PARAM_VALUE 2 arg 6176705781931167744
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 5179471144816209920
PARAM_VALUE 1 fn 349736785340919808
PARAM_VALUE 2 arg 6176705781931167744
CAPPED_DATA 0 range->top_level 1
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 5179471144816209920
PARAM_VALUE 1 fn 7022100642272534528
PARAM_VALUE 2 arg 6176705781931167744
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_iommu_amdv1_iova_to_phys() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4627131319536590848
PARAM_VALUE 0 range->max_vasz_lg2 1-255
PARAM_VALUE 1 fn 7362837191495856128
PARAM_VALUE 2 arg 3433559133274312704
BUF_SIZE 2 arg 8
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_iommu_amdv1_read_and_clear_dirty() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 6034519702065700864
PARAM_VALUE 0 range->max_vasz_lg2 1-255
PARAM_VALUE 1 fn 6165519965703426048
PARAM_VALUE 2 arg 6696723813633863680
BUF_SIZE 2 arg 16
HALF_LOCKED2 &iopt->iova_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 range 8604386499066867712
PARAM_VALUE 1 fn 6381830950362865664
PARAM_VALUE 2 arg 4792302110909104128
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 8604386499066867712
PARAM_VALUE 1 fn 5515276630391435264
PARAM_VALUE 2 arg 4792302110909104128
CAPPED_DATA 0 range->top_level 1
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 8604386499066867712
PARAM_VALUE 1 fn 3686535392442515456
PARAM_VALUE 2 arg 4792302110909104128
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_iommu_x86_64_iova_to_phys() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 1686463107147075584
PARAM_VALUE 1 fn 2303349884887199744
PARAM_VALUE 2 arg 6290884000842883072
BUF_SIZE 2 arg 8
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_deinit() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4673630643361607680
PARAM_VALUE 1 fn 5365153676621471744
PARAM_VALUE 2 arg 373180799793393664
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_set_dirty() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 8426188283726516224
PARAM_VALUE 1 fn 5034848240697942016
PARAM_VALUE 2 arg 0

drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_unmap_range() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 7479217748038828032
PARAM_VALUE 1 fn 6778291419349852160
PARAM_VALUE 2 arg 74321645993480192
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_deinit() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 7396120912076480512
PARAM_VALUE 1 fn 6346240612340953088
PARAM_VALUE 2 arg 55072809168052224
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_set_dirty() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 1702647589132652544
PARAM_VALUE 1 fn 5246420591941193728
PARAM_VALUE 2 arg 0

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_unmap_range() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 6442373486674202624
PARAM_VALUE 1 fn 4374697926639869952
PARAM_VALUE 2 arg 4937221853813952512
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 range 1327532484463685632
PARAM_VALUE 1 fn 748932000741560320
PARAM_VALUE 2 arg 70602010578919424
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 1327532484463685632
PARAM_VALUE 1 fn 5661947382759301120
PARAM_VALUE 2 arg 70602010578919424
CAPPED_DATA 0 range->top_level 1
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 1327532484463685632
PARAM_VALUE 1 fn 7013632553044353024
PARAM_VALUE 2 arg 70602010578919424
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c pt_iommu_amdv1_mock_iova_to_phys() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4270118808106242048
PARAM_VALUE 1 fn 5062729177140932608
PARAM_VALUE 2 arg 1427972851714387968
BUF_SIZE 2 arg 8
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c pt_iommu_amdv1_mock_read_and_clear_dirty() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 8565615692461563904
PARAM_VALUE 1 fn 5290837721123725312
PARAM_VALUE 2 arg 3848156225483710464
BUF_SIZE 2 arg 16
HALF_LOCKED2 &iopt->iova_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 range 4096755351869837312
PARAM_VALUE 1 fn 6994479859742658560
PARAM_VALUE 2 arg 8825526410171473920
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 4096755351869837312
PARAM_VALUE 1 fn 6099790999520866304
PARAM_VALUE 2 arg 8825526410171473920
CAPPED_DATA 0 range->top_level 1
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 4096755351869837312
PARAM_VALUE 1 fn 4294777557383405568
PARAM_VALUE 2 arg 8825526410171473920
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_iommu_riscv_64_iova_to_phys() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4210434713384980480
PARAM_VALUE 1 fn 135049744825262080
PARAM_VALUE 2 arg 9137336957497360384
BUF_SIZE 2 arg 8
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_deinit() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 4492134051843731456
PARAM_VALUE 1 fn 4501517222435520512
PARAM_VALUE 2 arg 2468421448131207168
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_set_dirty() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 3384072506876182528
PARAM_VALUE 1 fn 1767596029349986304
PARAM_VALUE 2 arg 0

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_unmap_range() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 2600637431878389760
PARAM_VALUE 1 fn 5836316262382649344
PARAM_VALUE 2 arg 7017750906145071104
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 range 1265296944994095104
PARAM_VALUE 1 fn 8949035082788823040
PARAM_VALUE 2 arg 4586122024534650880
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 1265296944994095104
PARAM_VALUE 1 fn 4404056636382031872
PARAM_VALUE 2 arg 4586122024534650880
CAPPED_DATA 0 range->top_level 1
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 range 1265296944994095104
PARAM_VALUE 1 fn 4740748164530405376
PARAM_VALUE 2 arg 4586122024534650880
DATA_SOURCE 0 range $0
DATA_SOURCE 2 arg $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_iommu_vtdss_iova_to_phys() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 3916666939067740160
PARAM_VALUE 1 fn 3820805832978751488
PARAM_VALUE 2 arg 6268526989227237376
BUF_SIZE 2 arg 8
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_iommu_vtdss_read_and_clear_dirty() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 6282042891780599808
PARAM_VALUE 1 fn 664854915043905536
PARAM_VALUE 2 arg 1612619795584466944
BUF_SIZE 2 arg 16
HALF_LOCKED2 &iopt->iova_rwsem

drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_deinit() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 9304300315496448
PARAM_VALUE 1 fn 2310687925823107072
PARAM_VALUE 2 arg 8839438207455727616
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_set_dirty() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 6889156749762023424
PARAM_VALUE 1 fn 5785692310155943936
PARAM_VALUE 2 arg 0

drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_unmap_range() -> pt_walk_range()

Type Parameter Key Value
PARAM_VALUE 0 range 8853843376051085312
PARAM_VALUE 1 fn 7209901231373180928
PARAM_VALUE 2 arg 6827505121090887680
BUF_SIZE 2 arg 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL