Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/vfio/vfio_main.c vfio_ioctl_device_feature_logging_report() -> iova_bitmap_free()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->mapped.npages 0-s32max
PARAM_VALUE 0 bitmap->mapped.pages s64max
PARAM_VALUE 0 bitmap->mapped.pgoff 0-4095
PARAM_VALUE 0 bitmap->mapped_base_index 0-s64max
BUF_SIZE 0 bitmap 88
BUF_SIZE 0 bitmap 88
NOCHECK_CALL
USER_DATA 0 bitmap->bitmap 0-u64max
USER_DATA 0 bitmap->iova s64min-s64max
USER_DATA 0 bitmap->length s64min-s64max

drivers/iommu/iommufd/io_pagetable.c iommu_read_and_clear_dirty() -> iova_bitmap_free()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->mapped.npages 0-s32max
PARAM_VALUE 0 bitmap->mapped.pages s64max
PARAM_VALUE 0 bitmap->mapped.pgoff 0-4095
PARAM_VALUE 0 bitmap->mapped_base_index 0-s64max
BUF_SIZE 0 bitmap 88
BUF_SIZE 0 bitmap 88
NOCHECK_CALL
USER_DATA 0 bitmap->bitmap 0-u64max[u]
USER_DATA 0 bitmap->iova s64min-s64max
USER_DATA 0 bitmap->length s64min-s64max
LOCK2 &iopt->iova_rwsem
TYPE_LOCK (struct io_pagetable)->iova_rwsem

drivers/iommu/iommufd/iova_bitmap.c iova_bitmap_alloc() -> iova_bitmap_free()

Type Parameter Key Value
PARAM_VALUE 0 bitmap 4096-ptr_max
PARAM_VALUE 0 bitmap->mapped.pages 0
BUF_SIZE 0 bitmap 88
DATA_SOURCE 0 bitmap r _kzalloc_noprof
NOCHECK_CALL
USER_DATA 0 bitmap->iova 0-u64max
USER_DATA 0 bitmap->length 0-u64max
HALF_LOCKED2 &iopt->iova_rwsem