Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/iov_iter.c xas_next() -> __xas_next()

Type Parameter Key Value
PARAM_VALUE 0 xas 5127444035599134720,8851408094428491776
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0-1,3,4096-18446744073709551614
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
DATA_SOURCE 0 xas $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

drivers/iommu/iommufd/pages.c xas_next() -> __xas_next()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
DATA_SOURCE 0 xas $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &pages->mutex
HALF_LOCKED2 rcu_read

mm/filemap.c xas_next() -> __xas_next()

Type Parameter Key Value
PARAM_VALUE 0 xas 2749290619216510976,2830056018175324160,7636142157974593536
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0-1,3,4096-18446744073709551614
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
DATA_SOURCE 0 xas $0
NOSPEC 0 xas->xa_index
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-u64max[c]
USER_DATA 0 xas->xa_offset 0-255
LOCK2 rcu_read

drivers/target/target_core_user.c xas_next() -> __xas_next()

Type Parameter Key Value
PARAM_VALUE 0 xas 6707430232214507520
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0-1,3,4096-18446744073709551614
PARAM_VALUE 0 xas->xa_offset 0-255
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
DATA_SOURCE 0 xas $0
FUZZY_MAX 0 xas->xa_offset 15
RX_PATH
TASK_NOT_RUNNING
LOCK2 &udev->cmdr_lock
LOCK2 rcu_read
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct tcmu_dev)->cmdr_lock

lib/test_xarray.c xas_next() -> __xas_next()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_offset 0-255
DATA_SOURCE 0 xas $0
PREEMPT_ADD
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 rcu_read

arch/x86/kvm/../../../virt/kvm/kvm_main.c xas_next() -> __xas_next()

Type Parameter Key Value
PARAM_VALUE 0 xas 9112499204738035712
PARAM_VALUE 0 xas->xa 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0-1,3,4096-18446744073709551614
PARAM_VALUE 0 xas->xa_offset 0-255
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
DATA_SOURCE 0 xas $0
FUZZY_MAX 0 xas->xa_offset 15
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-524287[c]
USER_DATA 0 xas->xa_offset 0-255
LOCK2 rcu_read
HALF_LOCKED2 &file->f_mapping->invalidate_lock
HALF_LOCKED2 &kvm->slots_lock

mm/khugepaged.c xas_next() -> __xas_next()

Type Parameter Key Value
PARAM_VALUE 0 xas 4184487716943413248
DATA_SOURCE 0 xas $0
NOSPEC 0 xas->xa_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-4503599627370495[c]
USER_DATA 0 xas->xa_offset 0-255
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &mapping->i_mmap_rwsem
HALF_LOCKED2 &mm->mmap_lock