Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> xfs_btree_firstrec()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 1 level 0-s32max
CAPPED_DATA 1 level 1
DATA_SOURCE 1 level $1
RX_PATH
TASK_NOT_RUNNING

fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> xfs_btree_firstrec()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 1 level 0-s32max
CAPPED_DATA 1 level 1
DATA_SOURCE 1 level $1
RX_PATH
TASK_NOT_RUNNING

fs/xfs/libxfs/xfs_btree.c xfs_btree_delrec() -> xfs_btree_firstrec()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops 4096-ptr_max
PARAM_VALUE 0 cur->bc_ops->ptr_len 4,8
PARAM_VALUE 0 cur->bc_ops->sick_mask 0,8,16,32,64,128,256,512
PARAM_VALUE 0 cur->bc_ops->type 0-2
PARAM_VALUE 1 level 0-s32max
CAPPED_DATA 1 level 1
DATA_SOURCE 1 level $1
RX_PATH
TASK_NOT_RUNNING

fs/xfs/libxfs/xfs_btree.c xfs_btree_lshift() -> xfs_btree_firstrec()

Type Parameter Key Value
PARAM_VALUE 0 cur 4096-ptr_max
PARAM_VALUE 1 level 0-s32max
CAPPED_DATA 1 level 1
DATA_SOURCE 1 level $1
FUZZY_MAX 1 level 0
RX_PATH
TASK_NOT_RUNNING