Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

fs/xfs/scrub/attr_repair.c xrep_xattr_finalize_tempfile() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 0

fs/xfs/scrub/attr_repair.c xrep_xattr_flush_stashed() -> xfarray_length()

Type Parameter Key Value

fs/xfs/scrub/attr_repair.c xrep_xattr_flush_stashed() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/attr_repair.c xrep_xattr_rebuild_tree() -> xfarray_length()

Type Parameter Key Value

fs/xfs/scrub/attr_repair.c xrep_xattr_replay_pptr_updates() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
LOCK2 &rx->lock
TYPE_LOCK (struct xrep_xattr)->lock

fs/xfs/scrub/attr_repair.c xrep_xattr_replay_pptr_updates() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max
LOCK2 &rx->lock
TYPE_LOCK (struct xrep_xattr)->lock

fs/xfs/scrub/refcount_repair.c xrep_refc_build_new_tree() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/refcount_repair.c xrep_refc_sort_records() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/refcount_repair.c xrep_refc_sort_records() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/dirtree_repair.c xrep_dirtree_create_adoption_path() -> xfarray_length()

Type Parameter Key Value
CAPPED_DATA 0 array->max_nr 1
CAPPED_DATA 0 array->obj_size 1
LOCK2 &dl->lock
TYPE_LOCK (struct xchk_dirtree)->lock

fs/xfs/scrub/rtrefcount_repair.c xrep_rtrefc_build_new_tree() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/rtrefcount_repair.c xrep_rtrefc_sort_records() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/rtrefcount_repair.c xrep_rtrefc_sort_records() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/alloc_repair.c xrep_abt_find_freespace() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/alloc_repair.c xrep_abt_reserve_space() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/dir_repair.c xrep_dir_finalize_tempdir() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 0

fs/xfs/scrub/dir_repair.c xrep_dir_replay_updates() -> xfarray_length()

Type Parameter Key Value
LOCK2 &rd->pscan.lock
TYPE_LOCK (struct xrep_parent_scan_info)->lock

fs/xfs/scrub/dir_repair.c xrep_dir_replay_updates() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max
LOCK2 &rd->pscan.lock
TYPE_LOCK (struct xrep_parent_scan_info)->lock

fs/xfs/scrub/bmap_repair.c xrep_bmap_extents_load() -> xfarray_length()

Type Parameter Key Value

fs/xfs/scrub/bmap_repair.c xrep_bmap_extents_load() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/bmap_repair.c xrep_bmap_sort_records() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/bmap_repair.c xrep_bmap_sort_records() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/ialloc_repair.c xrep_ibt_build_new_trees() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/ialloc_repair.c xrep_ibt_check_overlap() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/ialloc_repair.c xrep_ibt_check_overlap() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/parent.c xchk_parent_finish_slow_pptrs() -> xfarray_length()

Type Parameter Key Value

fs/xfs/scrub/parent.c xchk_parent_finish_slow_pptrs() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/dir.c xchk_dir_finish_slow_dirents() -> xfarray_length()

Type Parameter Key Value

fs/xfs/scrub/dir.c xchk_dir_finish_slow_dirents() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/dirtree.c xchk_dirpath_step_up() -> xfarray_length()

Type Parameter Key Value
CAPPED_DATA 0 array->max_nr 1
CAPPED_DATA 0 array->obj_size 1
LOCK2 &dl->lock
TYPE_LOCK (struct xchk_dirtree)->lock

fs/xfs/scrub/dirtree.c xchk_dirtree_create_path() -> xfarray_length()

Type Parameter Key Value
CAPPED_DATA 0 array->max_nr 1
CAPPED_DATA 0 array->obj_size 1
HALF_LOCKED2 &dl->lock

fs/xfs/scrub/parent_repair.c xrep_parent_finalize_tempfile() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 0

fs/xfs/scrub/parent_repair.c xrep_parent_flush_xattrs() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max

fs/xfs/scrub/parent_repair.c xrep_parent_flush_xattrs() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max

fs/xfs/scrub/parent_repair.c xrep_parent_replay_updates() -> xfarray_length()

Type Parameter Key Value
LOCK2 &rp->pscan.lock
TYPE_LOCK (struct xrep_parent_scan_info)->lock

fs/xfs/scrub/parent_repair.c xrep_parent_replay_updates() -> xfarray_length()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->nr 1-u64max
LOCK2 &rp->pscan.lock
TYPE_LOCK (struct xrep_parent_scan_info)->lock