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 __collect_tables() -> pt_next_entry()

Type Parameter Key Value
PARAM_VALUE 0 pts 4279010899285999616
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 3398079560955346944
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 8120072070299070464
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 7503989655648866304
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 6413973083213574144
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 8519673582830731264
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 7713824142236782592
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 3198740107166105600
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 4453923205396987904
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 4648276036759871488
PARAM_VALUE 0 pts->end_index 1-u16max
PARAM_VALUE 0 pts->index 0-65534
PARAM_VALUE 0 pts->table_lower 18379471554275704832,18446612682070032384
PARAM_VALUE 0 pts->type 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL