Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/iova_bitmap.c iova_bitmap_for_each() -> iova_bitmap_for_each param 2()

Type Parameter Key Value
PARAM_VALUE 0 iter 4096-ptr_max
PARAM_VALUE 0 iter->mapped.pages 9223372036854775807
PARAM_VALUE 3 opaque 4096-ptr_max
BUF_SIZE 0 iter 88
BUF_SIZE 3 opaque (-1),32
BUF_SIZE 3 opaque (-1),32
DATA_SOURCE 0 iter $0
DATA_SOURCE 3 opaque $1
USER_DATA 0 iter->bitmap 0-u64max
USER_DATA 0 iter->iova 0-u64max
USER_DATA 0 iter->length 0-u64max
USER_DATA 1 iova 0-u64max
USER_DATA 2 length 0-u64max
HALF_LOCKED2 &iopt->iova_rwsem