Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
NOCHECK_CALL

fs/xfs/scrub/attr_repair.c xrep_xattr_full_reset() -> xfarray_truncate()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &rx->lock
TYPE_LOCK (struct xrep_xattr)->lock

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->obj_size 24
PARAM_VALUE 0 array->obj_size_log (-1)-31
NOCHECK_CALL

fs/xfs/scrub/dirtree.c xchk_dirtree_reset() -> xfarray_truncate()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 &dl->lock
TYPE_LOCK (struct xchk_dirtree)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->xfile 4096-ptr_max
PARAM_VALUE 0 array->xfile->file 4096-ptr_max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 array 4096-ptr_max
PARAM_VALUE 0 array->xfile->file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 array->xfile->file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 array->xfile->file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 array->xfile->file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 array->xfile->file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 array->xfile->file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 array->xfile->file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 array->xfile->file->f_cred->thread_keyring->user->qnkeys s32min-s32max
NOCHECK_CALL
LOCK2 &rp->pscan.lock
TYPE_LOCK (struct xrep_parent_scan_info)->lock