pt_check_range identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/iommu/generic_pt/pt_iter.h, line 20

Defined in 1 files as a function:

drivers/iommu/generic_pt/pt_iter.h, line 28 (as a function)

Referenced in 2 files:

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	5307219110259068928

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	5572621978234724352
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	5179471144816209920
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	5179471144816209920
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_amdv1.c increase_top() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	2602838202425020416
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	4627131319536590848
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	6034519702065700864
HALF_LOCKED2		&iopt->iova_rwsem

drivers/iommu/generic_pt/fmt/iommu_amdv1.c pt_make_child_range() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	736888510485188608
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	8604386499066867712
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	8604386499066867712
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c increase_top() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	2647548789520953344
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	1686463107147075584
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_x86_64.c pt_make_child_range() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	3301256501734379520
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	8426188283726516224

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	7479217748038828032
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	1702647589132652544

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	6442373486674202624
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	1327532484463685632
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	1327532484463685632
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_mock.c increase_top() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	2403649705666711552
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	4270118808106242048
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	8565615692461563904
HALF_LOCKED2		&iopt->iova_rwsem

drivers/iommu/generic_pt/fmt/iommu_mock.c pt_make_child_range() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	1089118587139661824
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	4096755351869837312
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	4096755351869837312
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c increase_top() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	8207737035702050816
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	4210434713384980480
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_riscv64.c pt_make_child_range() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	425492385528049664
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	3384072506876182528

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	2600637431878389760
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	1265296944994095104
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	1265296944994095104
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
DATA_SOURCE	0	range	$1
RX_PATH
TASK_NOT_RUNNING

drivers/iommu/generic_pt/fmt/iommu_vtdss.c increase_top() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	1200318384715661312
PARAM_VALUE	0	range->last_va	1-u64max
PARAM_VALUE	0	range->va	0-18446744073709551614
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	3916666939067740160
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	6282042891780599808
HALF_LOCKED2		&iopt->iova_rwsem

drivers/iommu/generic_pt/fmt/iommu_vtdss.c pt_make_child_range() -> pt_check_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	range	7050886060306599936
RX_PATH
TASK_NOT_RUNNING

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	6889156749762023424

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

Type	Parameter	Key	Value
PARAM_VALUE	0	range	8853843376051085312
RX_PATH
TASK_NOT_RUNNING