Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c check_map_range() -> pt_make_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 va 0-18446744073709551614
PARAM_VALUE 2 last_va 1-u64max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c make_range_ul() -> pt_make_range()

Type Parameter Key Value
BUF_SIZE 0 common (-1),16
BUF_SIZE 0 common (-1),16
DATA_SOURCE 0 common $0
DATA_SOURCE 1 va $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 2 last_va >= $1
NOSPEC 1 va
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 va 0-u64max
USER_DATA 1 va 0-u64max

drivers/iommu/generic_pt/fmt/iommu_x86_64.c check_map_range() -> pt_make_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 va 0-18446744073709551614
PARAM_VALUE 2 last_va 1-u64max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c make_range_ul() -> pt_make_range()

Type Parameter Key Value
BUF_SIZE 0 common (-1),16
BUF_SIZE 0 common (-1),16
DATA_SOURCE 0 common $0
DATA_SOURCE 1 va $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 2 last_va >= $1
NOSPEC 1 va
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 va 0-u64max
USER_DATA 1 va 0-u64max

drivers/iommu/generic_pt/fmt/iommu_mock.c check_map_range() -> pt_make_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 va 0-18446744073709551614
PARAM_VALUE 2 last_va 1-u64max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c make_range_ul() -> pt_make_range()

Type Parameter Key Value
BUF_SIZE 0 common (-1),16
BUF_SIZE 0 common (-1),16
DATA_SOURCE 0 common $0
DATA_SOURCE 1 va $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 2 last_va >= $1
NOSPEC 1 va
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 va 0-u64max
USER_DATA 1 va 0-u64max

drivers/iommu/generic_pt/fmt/iommu_riscv64.c check_map_range() -> pt_make_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 va 0-18446744073709551614
PARAM_VALUE 2 last_va 1-u64max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c make_range_ul() -> pt_make_range()

Type Parameter Key Value
BUF_SIZE 0 common (-1),16
BUF_SIZE 0 common (-1),16
DATA_SOURCE 0 common $0
DATA_SOURCE 1 va $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 2 last_va >= $1
NOSPEC 1 va
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 va 0-u64max
USER_DATA 1 va 0-u64max

drivers/iommu/generic_pt/fmt/iommu_vtdss.c check_map_range() -> pt_make_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 1 va 0-18446744073709551614
PARAM_VALUE 2 last_va 1-u64max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c make_range_ul() -> pt_make_range()

Type Parameter Key Value
BUF_SIZE 0 common (-1),16
BUF_SIZE 0 common (-1),16
DATA_SOURCE 0 common $0
DATA_SOURCE 1 va $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 1 va <= $2
PARAM_COMPARE 2 last_va >= $1
NOSPEC 1 va
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 va 0-u64max
USER_DATA 1 va 0-u64max