Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/scrub/xfarray.c xfarray_create() -> xfarray_idx()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 4,8,16,24,32
PARAM_VALUE 0 array->obj_size_log (-1)-31
PARAM_VALUE 1 pos s64max
BUF_SIZE 0 array 52,56,64,72,80
BUF_SIZE 0 array 52,56,64,72,80
DATA_SOURCE 0 array r _kzalloc_noprof

fs/xfs/scrub/xfarray.c xfarray_find_data() -> xfarray_idx()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
DATA_SOURCE 0 array $0
DATA_SOURCE 1 pos r roundup_64
UNITS 1 pos unit_byte
HALF_LOCKED2 &xnc->lock
HALF_LOCKED2 &xqc->lock

fs/xfs/scrub/xfarray.c xfarray_sort_scan() -> xfarray_idx()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 0-2147479552
CAPPED_DATA 0 array->obj_size 1
CAPPED_DATA 0 array->xfile->file->f_inode->i_mapping 1
UNITS 1 pos unit_byte

fs/xfs/scrub/xfarray.c xfarray_sort_scan() -> xfarray_idx()

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 0-2147479552
CAPPED_DATA 0 array->obj_size 1
CAPPED_DATA 0 array->xfile->file->f_inode->i_mapping 1