Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

lib/iommu-helper.c iommu_area_alloc() -> iommu_is_span_boundary()

Type Parameter Key Value
PARAM_VALUE 2 shift 0-4503599627370495
PARAM_VALUE 3 boundary_size 1-4503599627370496
CAPPED_DATA 0 index 1
CAPPED_DATA 2 shift 1
CAPPED_DATA 2 shift 1
CAPPED_DATA 3 boundary_size 1
CAPPED_DATA 3 boundary_size 1
DATA_SOURCE 0 index r bitmap_find_next_zero_area
DATA_SOURCE 1 nr $3
DATA_SOURCE 2 shift $4
DATA_SOURCE 3 boundary_size $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 index 0-4096[c]
HOST_DATA 1 nr 2-1048578[c]
UNITS 0 index unit_page
UNITS 2 shift unit_page
LOCK2 flags
LOCK2 global &iommu_bitmap_lock

kernel/dma/swiotlb.c swiotlb_search_pool_area() -> iommu_is_span_boundary()

Type Parameter Key Value
PARAM_VALUE 1 nr 1-128
PARAM_VALUE 3 boundary_size 1-9007199254740992
CAPPED_DATA 1 nr 1
CAPPED_DATA 3 boundary_size 1
CAPPED_DATA 3 boundary_size 1
DATA_SOURCE 1 nr r nr_slots
DATA_SOURCE 3 boundary_size r get_max_slots
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 nr 1-128[c]
USER_DATA 1 nr 1-128[c]
LOCK2 &area->lock
LOCK2 flags
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct io_tlb_area)->lock