Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/iommu/generic_pt/fmt/iommu_amdv1.c amdv1_get_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
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 pt_all_range() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_init_common() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 0 common->features 388,404,420
PARAM_VALUE 0 common->max_oasz_lg2 52
PARAM_VALUE 0 common->max_vasz_lg2 1-64
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
BIT_INFO 0 common->features 0x184,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_iommu_amdv1_hw_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev_data->mutex

drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_iommu_init_domain() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_all_range() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_init_common() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 0 common->features 24-25,144,160
PARAM_VALUE 0 common->max_oasz_lg2 52
PARAM_VALUE 0 common->max_vasz_lg2 1-57
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_iommu_init_domain() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_iommu_x86_64_hw_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev_data->mutex
HALF_LOCKED2 &group->mutex

drivers/iommu/generic_pt/fmt/iommu_x86_64.c x86_64_get_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_mock.c amdv1_mock_get_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_mock.c pt_all_range() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c pt_init_common() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 0 common->features 0
PARAM_VALUE 0 common->max_oasz_lg2 51
PARAM_VALUE 0 common->max_vasz_lg2 56
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_mock.c pt_iommu_init_domain() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_all_range() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_init_common() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 0 common->features 216,472
PARAM_VALUE 0 common->max_oasz_lg2 56
PARAM_VALUE 0 common->max_vasz_lg2 39,48,57
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
BIT_INFO 0 common->features 0xd8,0xffffffffffffffff
BIT_INFO 0 common->max_vasz_lg2 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &group->mutex

drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_iommu_init_domain() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &group->mutex

drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_iommu_riscv_64_hw_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &group->mutex

drivers/iommu/generic_pt/fmt/iommu_riscv64.c riscv_64_get_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &group->mutex

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_all_range() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_init_common() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
PARAM_VALUE 0 common->features 16-17,272-273
PARAM_VALUE 0 common->max_oasz_lg2 52
PARAM_VALUE 0 common->max_vasz_lg2 31-57
BUF_SIZE 0 common 16
DATA_SOURCE 0 common $0
BIT_INFO 0 common->features 0x10,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_iommu_init_domain() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_iommu_vtdss_hw_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &iommu->lock

drivers/iommu/generic_pt/fmt/iommu_vtdss.c vtdss_get_info() -> pt_top_range()

Type Parameter Key Value
PARAM_VALUE 0 common 4096-ptr_max
BUF_SIZE 0 common 16
DATA_SOURCE 0 common r common_from_iommu
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ioas->mutex