Defined in 1 files as a prototype:
Referenced in 1 files:
Smatch caller information:
lib/interval_tree.c interval_tree_iter_first() -> interval_tree_subtree_search()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| PARAM_COMPARE | 0 | node->__subtree_last | >= $1 |
| PARAM_COMPARE | 1 | start | <= $0->__subtree_last |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | start | 0-s32max[c] |
| HOST_DATA | 2 | last | 0-u64max[c] |
| USER_DATA | 1 | start | 0-s32max[c] |
| USER_DATA | 2 | last | 0-u64max |
| UNITS | 0 | node | unit_byte |
| HALF_LOCKED2 | &access->ioas_lock | ||
| HALF_LOCKED2 | &device->dev_set->lock | ||
| HALF_LOCKED2 | &fi->dax->sem | ||
| HALF_LOCKED2 | &ictx->ioas_creation_lock | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &iopt->iova_rwsem | ||
| HALF_LOCKED2 | &kvm->srcu | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &mvdev->state_mutex | ||
| HALF_LOCKED2 | &p->svms.lock | ||
| HALF_LOCKED2 | &pages->mutex | ||
| HALF_LOCKED2 | &pds_vfio->state_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &process_info->lock | ||
| HALF_LOCKED2 | &subscriptions->lock | ||
| HALF_LOCKED2 | &svms->lock | ||
| HALF_LOCKED2 | &vdomain->mappings_lock | ||
| HALF_LOCKED2 | &vm->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &mf_mutex | ||
| HALF_LOCKED2 | global &srcu | ||
| HALF_LOCKED2 | vm->root.bo->tbo.base.resv |
lib/interval_tree.c interval_tree_iter_next() -> interval_tree_subtree_search()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| CAPPED_DATA | 1 | start | 1 |
| CAPPED_DATA | 1 | start | 1 |
| DATA_SOURCE | 1 | start | $1 |
| DATA_SOURCE | 2 | last | $2 |
| PARAM_COMPARE | 0 | node->__subtree_last | >= $1 |
| PARAM_COMPARE | 1 | start | <= $0->__subtree_last |
| NOSPEC | 1 | start | |
| NOSPEC | 2 | last | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | start | 0-s32max[c] |
| USER_DATA | 2 | last | 0-9007199254740989,u64max |
| NO_OVERFLOW_SIMPLE | 1 | start | |
| UNITS | 0 | node | unit_byte |
| HALF_LOCKED2 | &access->ioas_lock | ||
| HALF_LOCKED2 | &fi->dax->sem | ||
| HALF_LOCKED2 | &ictx->ioas_creation_lock | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &iopt->iova_rwsem | ||
| HALF_LOCKED2 | &kvm->srcu | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &mvdev->state_mutex | ||
| HALF_LOCKED2 | &p->svms.lock | ||
| HALF_LOCKED2 | &pages->mutex | ||
| HALF_LOCKED2 | &pds_vfio->state_mutex | ||
| HALF_LOCKED2 | &process_info->lock | ||
| HALF_LOCKED2 | &svms->lock | ||
| HALF_LOCKED2 | &vdomain->mappings_lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &mf_mutex | ||
| HALF_LOCKED2 | global &srcu | ||
| HALF_LOCKED2 | vm->root.bo->tbo.base.resv |