Documented in 1 files:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c __collect_tables() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c __map_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c __map_range_leaf() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c __unmap_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c clear_contig() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4422665830569459712
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_init_top() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 2602838202425020416,3965381620544667648,8884451694382108672
DATA_SOURCE 0 range $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c table_alloc() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 1 level 0-254
PARAM_VALUE 2 table 0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c __collect_tables() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c __map_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c __map_range_leaf() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c __unmap_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c clear_contig() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 6055521482065387520
PARAM_VALUE 2 table 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_init_top() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 2647548789520953344,5139311351606161408,9149366348769435648
DATA_SOURCE 0 range $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c table_alloc() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 1 level 0-254
PARAM_VALUE 2 table 0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c __collect_tables() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c __map_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c __map_range_leaf() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c __unmap_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c clear_contig() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 8635768557951545344
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c pt_init_top() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 2403649705666711552,6672981226119933952,8765382021607735296
DATA_SOURCE 0 range $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c table_alloc() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 1 level 0-254
PARAM_VALUE 2 table 0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c __collect_tables() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c __map_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c __map_range_leaf() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c __unmap_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c clear_contig() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 7498448012972548096
PARAM_VALUE 2 table 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_init_top() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 3680177837792165888,6923832771272564736,8207737035702050816
DATA_SOURCE 0 range $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c table_alloc() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 1 level 0-254
PARAM_VALUE 2 table 0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c __collect_tables() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c __map_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c __map_range_leaf() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c __unmap_range() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $0
DATA_SOURCE 1 level $2
DATA_SOURCE 2 table $3
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c clear_contig() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 784754958129012736
PARAM_VALUE 2 table 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_init_top() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 1200318384715661312,4085921123469967360,9111797480302854144
DATA_SOURCE 0 range $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c table_alloc() -> pt_init()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 1 level 0-254
PARAM_VALUE 2 table 0
RX_PATH
TASK_NOT_RUNNING