Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dax.c dax_writeback_mapping_range() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 1 max 0-2251799813685247
PARAM_VALUE 2 mark 2
CAPPED_DATA 1 max 1
CAPPED_DATA 1 max 1
NOSPEC 1 max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-u64max
USER_DATA 0 xas->xa_offset 0-255
USER_DATA 1 max 0-2251799813685247[c]
UNITS 1 max unit_page
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &mapping->invalidate_lock

mm/page-writeback.c tag_pages_for_writeback() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
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-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 2 mark 0
DATA_SOURCE 1 max $2
NOSPEC 1 max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-u64max
USER_DATA 1 max 0-2251799813685247,u64max
UNITS 1 max unit_page
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq

lib/xarray.c xas_extract_marked() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 136050449725059072
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-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
DATA_SOURCE 0 xas $0
DATA_SOURCE 1 max $2
DATA_SOURCE 2 mark $4
LOCK2 &userq->fence_drv_lock
LOCK2 rcu_read
TYPE_LOCK (struct amdgpu_usermode_queue)->fence_drv_lock

fs/xfs/xfs_zone_alloc.c xfs_open_zone() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &((&xas)->xa)->xa_lock
HALF_LOCKED2 &zi->zi_open_zones_lock

fs/btrfs/extent_io.c buffer_tree_tag_for_writeback() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
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-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 2 mark 0
DATA_SOURCE 1 max $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xas->xa_index 0-u64max
USER_DATA 1 max 0-9223372036854775807,u64max[u]
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 irq
HALF_LOCKED2 &fs_info->zoned_meta_io_lock

fs/fs-writeback.c inode_do_switch_wbs() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 3890751431287599104
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,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 0
PREEMPT_ADD <- disables preempt
LOCK2 &(&mapping->i_pages)->xa_lock
LOCK2 &bdi->wb_switch_rwsem
LOCK2 &inode->i_lock
LOCK2 &new_wb->list_lock
LOCK2 &old_wb->list_lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct backing_dev_info)->wb_switch_rwsem
TYPE_LOCK (struct bdi_writeback)->list_lock
TYPE_LOCK (struct inode)->i_lock

fs/fs-writeback.c inode_do_switch_wbs() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 3890751431287599104
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,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 1
PREEMPT_ADD <- disables preempt
LOCK2 &(&mapping->i_pages)->xa_lock
LOCK2 &bdi->wb_switch_rwsem
LOCK2 &inode->i_lock
LOCK2 &new_wb->list_lock
LOCK2 &old_wb->list_lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct backing_dev_info)->wb_switch_rwsem
TYPE_LOCK (struct bdi_writeback)->list_lock
TYPE_LOCK (struct inode)->i_lock

lib/test_xarray.c check_find_3() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 5865983974702039040
PARAM_VALUE 0 xas->xa 5024146686711472128
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max 0-99
PARAM_VALUE 2 mark 0
FUZZY_MAX 1 max 99
HARD_MAX 1 max 99
LOCK2 rcu_read

lib/test_xarray.c check_split_1() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 8714264325197791232
PARAM_VALUE 0 xas->xa 5024146686711472128
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 1
LOCK2 rcu_read

lib/test_xarray.c check_split_2() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 5500646605020205056
PARAM_VALUE 0 xas->xa 5024146686711472128
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 1
LOCK2 rcu_read

lib/test_xarray.c check_xa_mark_1() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 813132458815668224
PARAM_VALUE 0 xas->xa 5024146686711472128
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 0
LOCK2 rcu_read

lib/test_xarray.c check_xa_mark_2() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 4096-ptr_max
PARAM_VALUE 0 xas->xa 5024146686711472128
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 0
LOCK2 rcu_read

lib/test_xarray.c check_xa_mark_3() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 3573558588806021120
PARAM_VALUE 0 xas->xa 5024146686711472128
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 0
LOCK2 rcu_read

fs/xfs/xfs_icache.c xfs_reclaim_inodes_count() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 1837523887946186752
PARAM_VALUE 0 xas->xa_alloc 0
PARAM_VALUE 0 xas->xa_lru 0
PARAM_VALUE 0 xas->xa_node 0,4096-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &sb->s_umount

mm/memfd.c memfd_wait_for_pins() -> xas_next_marked()

Type Parameter Key Value
PARAM_VALUE 0 xas 4654190353756758016
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-ptr_max
PARAM_VALUE 0 xas->xa_pad 0
PARAM_VALUE 0 xas->xa_shift 0
PARAM_VALUE 0 xas->xa_sibs 0
PARAM_VALUE 1 max u64max
PARAM_VALUE 2 mark 2
PREEMPT_ADD <- disables preempt
LOCK2 &((&xas)->xa)->xa_lock
LOCK2 &inode->i_rwsem
LOCK2 irq
HALF_LOCKED2 &session->mutex
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct inode)->i_rwsem