Documented in 1 files:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/xarray.c xa_find_after() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 5004936300812226560
PARAM_VALUE 0 xas->xa_node 0-1,3,4096-ptr_max
LOCK2 rcu_read

lib/xarray.c xas_alloc() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0-ptr_max,(-1)
BUF_SIZE 0 xas->xa (-1),4,16,32,88
DATA_SOURCE 0 xas $0
STR_LEN 0 xas->xa (-1),5-16,20,23
NOSPEC 0 xas->xa_index
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xas->xa_index 0-u64max[c]
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

lib/xarray.c xas_clear_mark() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
DATA_SOURCE 0 xas $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xas->xa_index 0-2305843009213693951[c]
HOST_DATA 0 xas->xa_offset 0-15[c]
USER_DATA 0 xas->xa_index 0-u64max
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &(&cache->reqs)->xa_lock
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &bfs->lock
HALF_LOCKED2 &eb->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 flags
HALF_LOCKED2 irq

lib/xarray.c xas_get_mark() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_node 0-1,4096-ptr_max
DATA_SOURCE 0 xas $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-u64max
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

lib/xarray.c xas_pause() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
DATA_SOURCE 0 xas $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-u64max
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &encl->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read

lib/xarray.c xas_set_mark() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
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
USER_DATA 0 xas->xa_offset 0-255
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &cache->daemon_mutex
HALF_LOCKED2 &eb->lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 flags
HALF_LOCKED2 irq

lib/xarray.c xas_store() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
BUF_SIZE 0 xas->xa (-1),88
CAPPED_DATA 0 xas->xa_node 1
DATA_SOURCE 0 xas $0
NOSPEC 0 xas->xa_index
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xas->xa_index 0-u64max[c]
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 &(&cache->reqs)->xa_lock
HALF_LOCKED2 &(&ictx->objects)->xa_lock
HALF_LOCKED2 &(&mapping->i_pages)->xa_lock
HALF_LOCKED2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &(xas->xa)->xa_lock
HALF_LOCKED2 &access->ioas_lock
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &cache->daemon_mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 &iopt->iova_rwsem
HALF_LOCKED2 &mapping->host->i_lock
HALF_LOCKED2 &mapping->i_mmap_rwsem
HALF_LOCKED2 &pages->mutex
HALF_LOCKED2 &udev->cmdr_lock
HALF_LOCKED2 &xa->xa_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

lib/xarray.c xas_valid() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 0,4096-ptr_max
BUF_SIZE 0 xas->xa (-1),4,16,32,88
DATA_SOURCE 0 xas $0
STR_LEN 0 xas->xa (-1),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[c]
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

mm/filemap.c xas_valid() -> xas_invalid()

Type Parameter Key Value
PARAM_VALUE 0 xas 2749290619216510976,2830056018175324160
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
BUF_SIZE 0 xas->xa 88
DATA_SOURCE 0 xas $0
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
HALF_LOCKED2 &inode->i_rwsem