Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/iommu/iommufd/pages.c batch_from_domain_continue() -> batch_from_domain()

Type Parameter Key Value
PARAM_VALUE 0 batch 8063690985537204224
PARAM_VALUE 0 batch->pfns 0,4096-ptr_max
PARAM_VALUE 1 domain->ops->iotlb_sync 0,4096-ptr_max
PARAM_VALUE 1 domain->owner->domain_alloc_paging_flags 0,8509805123710701568,8930407207250460672,8966249347349827584
PARAM_VALUE 2 area 4096-ptr_max
PARAM_VALUE 2 area->iopt->iova_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 area->iopt->iova_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 area->pages->source_mm->exe_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 area->pages->source_mm->exe_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 area->pages->source_mm->exe_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 2 area->pages->source_mm->exe_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 2 area->pages->source_mm->exe_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 area->pages->source_mm->exe_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 area->pages->source_mm->exe_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 area->pages->source_mm->exe_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 area->pages->source_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 2 area->pages->source_mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 2 area->pages->source_mm->notifier_subscriptions->active_invalidate_ranges 0-s64max
PARAM_VALUE 2 area->pages->source_mm->notifier_subscriptions->invalidate_seq 0-s64max
BUF_SIZE 1 domain (-1),112
BUF_SIZE 1 domain (-1),112
BUF_SIZE 1 domain->iommufd_hwpt (-1),40
CAPPED_DATA 3 start_index 1
CAPPED_DATA 3 start_index 1
DATA_SOURCE 0 batch $0
DATA_SOURCE 1 domain $1
DATA_SOURCE 2 area $2
DATA_SOURCE 3 start_index $3
DATA_SOURCE 4 last_index $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 domain->iommufd_hwpt->pasid_compat 0-1[c]
UNITS 3 start_index unit_byte
UNITS 4 last_index unit_byte
LOCK2 &iopt->domains_rwsem
HALF_LOCKED2 &ioas->mutex
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &pages->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct io_pagetable)->domains_rwsem

drivers/iommu/iommufd/pages.c iopt_area_unpin_domain() -> batch_from_domain()

Type Parameter Key Value
PARAM_VALUE 0 batch 8063690985537204224
PARAM_VALUE 0 batch->end 0-1
PARAM_VALUE 0 batch->pfns 0,4096-ptr_max
PARAM_VALUE 1 domain->ops->iotlb_sync 0,4096-ptr_max
PARAM_VALUE 1 domain->owner->domain_alloc_paging_flags 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584
PARAM_VALUE 2 area 4096-ptr_max
PARAM_VALUE 2 area->iopt->iova_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 area->iopt->iova_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 area->pages->source_mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 2 area->pages->source_mm->mmap_lock.first_waiter->type 0-1
BUF_SIZE 1 domain (-1),112
BUF_SIZE 1 domain (-1),112
BUF_SIZE 1 domain->iommufd_hwpt (-1),40
CAPPED_DATA 3 start_index 1
CAPPED_DATA 3 start_index 1
DATA_SOURCE 0 batch $0
DATA_SOURCE 1 domain $3
DATA_SOURCE 2 area $1
DATA_SOURCE 4 last_index $5
PARAM_COMPARE 3 start_index <= $4
PARAM_COMPARE 4 last_index >= $3
PARAM_COMPARE 4 last_index >= $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 domain->iommufd_hwpt->pasid_compat 0-1[c]
UNITS 3 start_index unit_byte
UNITS 4 last_index unit_byte
LOCK2 &iopt->domains_rwsem
HALF_LOCKED2 &ioas->mutex
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &pages->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct io_pagetable)->domains_rwsem

drivers/iommu/iommufd/pages.c pfn_reader_fill_span() -> batch_from_domain()

Type Parameter Key Value
PARAM_VALUE 0 batch 5386030719981473952,6270772229982597280,8717662312254873760
PARAM_VALUE 0 batch->array_size 0-333333
PARAM_VALUE 0 batch->kind 0-1
PARAM_VALUE 0 batch->npfns 4096-ptr_max
PARAM_VALUE 0 batch->pfns 4096-ptr_max
PARAM_VALUE 2 area 4096-ptr_max
CAPPED_DATA 3 start_index 1
CAPPED_DATA 3 start_index 1
CAPPED_DATA 4 last_index 1
DATA_SOURCE 2 area r iopt_pages_find_domain_area
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 start_index unit_byte
UNITS 4 last_index unit_byte
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &ioas->mutex
HALF_LOCKED2 &iopt->domains_rwsem
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &pages->mutex
HALF_LOCKED2 _T->lock