Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/xarray.c __xas_next() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0
DATA_SOURCE 0 xas $0
NOSPEC 0 xas->xa_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-u64max[c]
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &udev->cmdr_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

lib/xarray.c __xas_next() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0
CAPPED_DATA 0 xas->xa_node->parent 1
DATA_SOURCE 0 xas $0
NOSPEC 0 xas->xa_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-u64max[c]
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &udev->cmdr_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

lib/xarray.c __xas_prev() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 126933151517319168,874496022831509504,2772266472234622976,8833985667634339840
PARAM_VALUE 0 xas->xa_node 0
DATA_SOURCE 0 xas $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-4503603922337789[c]
USER_DATA 0 xas->xa_offset 0-255
LOCK2 rcu_read

lib/xarray.c __xas_prev() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 126933151517319168,874496022831509504,2772266472234622976,8833985667634339840
PARAM_VALUE 0 xas->xa_node 0
CAPPED_DATA 0 xas->xa_node->parent 1
DATA_SOURCE 0 xas $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-4503603922337789[c]
LOCK2 rcu_read

lib/xarray.c xas_find() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0,2-18446744073709535237,(-1)
BUF_SIZE 0 xas->xa (-1),88
CAPPED_DATA 0 xas->xa_node 1
DATA_SOURCE 0 xas $0
NOSPEC 0 xas->xa_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xas->xa_offset 0-15[c]
USER_DATA 0 xas->xa_index 1-u64max
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &(&mapping->i_pages)->xa_lock
HALF_LOCKED2 &(&rt->xa)->xa_lock
HALF_LOCKED2 &(&ucontext->mmap_xa)->xa_lock
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &cache->daemon_mutex
HALF_LOCKED2 &encl->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &mapping->host->i_lock
HALF_LOCKED2 &pages->mutex
HALF_LOCKED2 &ufile->umap_lock
HALF_LOCKED2 &userq->fence_drv_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

lib/xarray.c xas_find() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0
BUF_SIZE 0 xas->xa (-1),88
DATA_SOURCE 0 xas $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xas->xa_offset 0-15[c]
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &(&mapping->i_pages)->xa_lock
HALF_LOCKED2 &(&rt->xa)->xa_lock
HALF_LOCKED2 &(&ucontext->mmap_xa)->xa_lock
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &cache->daemon_mutex
HALF_LOCKED2 &encl->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &mapping->host->i_lock
HALF_LOCKED2 &pages->mutex
HALF_LOCKED2 &ufile->umap_lock
HALF_LOCKED2 &userq->fence_drv_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

lib/xarray.c xas_find_marked() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0
BUF_SIZE 0 xas->xa (-1),88
CAPPED_DATA 0 xas->xa_index 1
DATA_SOURCE 0 xas $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xas->xa_offset 0-15[c]
USER_DATA 0 xas->xa_index 0-u64max[c]
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &(&cache->reqs)->xa_lock
HALF_LOCKED2 &(&mapping->i_pages)->xa_lock
HALF_LOCKED2 &(&ucontext->mmap_xa)->xa_lock
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &bdi->wb_switch_rwsem
HALF_LOCKED2 &inode->i_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &new_wb->list_lock
HALF_LOCKED2 &old_wb->list_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &ufile->umap_lock
HALF_LOCKED2 &userq->fence_drv_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

lib/xarray.c xas_start() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 1-18446744073709535237,(-1)
BUF_SIZE 0 xas->xa (-1),4,16,32,88
CAPPED_DATA 0 xas->xa->xa_head 1
CAPPED_DATA 0 xas->xa_node 1
DATA_SOURCE 0 xas $0
STR_LEN 0 xas->xa (-1),5-6,8-14,16,20,23
NOSPEC 0 xas->xa_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xas->xa_index 1-u64max
HOST_DATA 0 xas->xa_offset 0-15[c]
HOST_DATA 0 xas->xa_sibs 0-15,255[c]
USER_DATA 0 xas->xa_index 1-u64max
USER_DATA 0 xas->xa_offset 0-255
USER_DATA 0 xas->xa_sibs 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 rcu_read

lib/xarray.c xas_start() -> set_bounds()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 1-18446744073709535237,(-1)
BUF_SIZE 0 xas->xa (-1),4,16,32,88
CAPPED_DATA 0 xas->xa->xa_head 1
CAPPED_DATA 0 xas->xa_node 1
DATA_SOURCE 0 xas $0
STR_LEN 0 xas->xa (-1),5-6,8-14,16,20,23
NOSPEC 0 xas->xa_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xas->xa_index 0-u64max
HOST_DATA 0 xas->xa_offset 0-15[c]
HOST_DATA 0 xas->xa_sibs 0-15,255[c]
USER_DATA 0 xas->xa_index 0-u64max
USER_DATA 0 xas->xa_offset 0-255
USER_DATA 0 xas->xa_sibs 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 rcu_read