Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 pts 4698837936743452672
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max
CAPPED_DATA 1 start_index 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 2590412401914847232
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max,u32max
PARAM_VALUE 2 end_index 1-65536,u32max
FUZZY_MAX 1 start_index u32max
FUZZY_MAX 2 end_index u32max
PARAM_COMPARE 1 start_index != $2
PARAM_COMPARE 2 end_index != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 8512051657660801024
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max
CAPPED_DATA 1 start_index 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 796131875728408576
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max,u32max
PARAM_VALUE 2 end_index 0-65536,u32max
FUZZY_MAX 1 start_index u32max
FUZZY_MAX 2 end_index u32max
PARAM_COMPARE 1 start_index < $2
PARAM_COMPARE 2 end_index > $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 9117938481813368832
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max
CAPPED_DATA 1 start_index 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 6898400008179613696
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max,u32max
PARAM_VALUE 2 end_index 1-65536,u32max
FUZZY_MAX 1 start_index u32max
FUZZY_MAX 2 end_index u32max
PARAM_COMPARE 1 start_index != $2
PARAM_COMPARE 2 end_index != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 6463752533936406528
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max
CAPPED_DATA 1 start_index 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 2949056874807013376
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max,u32max
PARAM_VALUE 2 end_index 1-65536,u32max
FUZZY_MAX 1 start_index u32max
FUZZY_MAX 2 end_index u32max
PARAM_COMPARE 1 start_index != $2
PARAM_COMPARE 2 end_index != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 384714137361584128
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max
CAPPED_DATA 1 start_index 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 pts 7284644712453578752
PARAM_VALUE 0 pts->range 4096-ptr_max
PARAM_VALUE 0 pts->table 4096-ptr_max
PARAM_VALUE 1 start_index 0-u16max,u32max
PARAM_VALUE 2 end_index 0-65536,u32max
FUZZY_MAX 1 start_index u32max
FUZZY_MAX 2 end_index u32max
PARAM_COMPARE 1 start_index < $2
PARAM_COMPARE 2 end_index > $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL