Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/libxfs/xfs_bmap.c xfs_bmap_extents_to_btree() -> xfs_btree_set_numrecs()

Type Parameter Key Value
PARAM_VALUE 0 block->bb_level 0-1
PARAM_VALUE 0 block->bb_magic 0,1094857538-1094857539,1094865986-1094865987,1112359219,1112359248,1181904743,1379092035,1380794931,1480672844,1480673094,1480675917,1480864322,1480864324,1480868403,1480868915,1481854029
PARAM_VALUE 0 block->bb_numrecs 0-1
PARAM_VALUE 0 block->bb_u.l.bb_blkno u64max
PARAM_VALUE 0 block->bb_u.l.bb_leftsib u64max
PARAM_VALUE 0 block->bb_u.l.bb_lsn 0
PARAM_VALUE 0 block->bb_u.l.bb_pad 0
PARAM_VALUE 0 block->bb_u.l.bb_rightsib u64max
PARAM_VALUE 0 block->bb_u.s.bb_blkno u64max
PARAM_VALUE 0 block->bb_u.s.bb_leftsib u32max
PARAM_VALUE 0 block->bb_u.s.bb_lsn 0
PARAM_VALUE 0 block->bb_u.s.bb_rightsib u32max
BUF_SIZE 0 block s32min-(-2),1-s32max
BUF_SIZE 0 block s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 numrecs unit_array_size

fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_set_numrecs()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
BUF_SIZE 0 block s32min-(-1),1-s32max
BUF_SIZE 0 block s32min-(-1),1-s32max
DATA_SOURCE 0 block r xfs_btree_get_block
PARAM_COMPARE 0 block->bb_numrecs == $1
PARAM_COMPARE 1 numrecs == $0->bb_numrecs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 numrecs unit_array_size

fs/xfs/libxfs/xfs_btree.c __xfs_btree_split() -> xfs_btree_set_numrecs()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
BUF_SIZE 0 block s32min-(-1),1-s32max
BUF_SIZE 0 block s32min-(-1),1-s32max
DATA_SOURCE 0 block r xfs_btree_get_block
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_btree.c xfs_btree_demote_node_child() -> xfs_btree_set_numrecs()

Type Parameter Key Value
BUF_SIZE 0 block (-1),40-3145800
BUF_SIZE 0 block (-1),40-3145800
CAPPED_DATA 1 numrecs 1
DATA_SOURCE 1 numrecs $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 numrecs unit_array_size

fs/xfs/libxfs/xfs_btree.c xfs_btree_insrec() -> xfs_btree_set_numrecs()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
BUF_SIZE 0 block s32min-(-1),1-s32max
BUF_SIZE 0 block s32min-(-1),1-s32max
DATA_SOURCE 0 block r xfs_btree_get_block
PARAM_COMPARE 0 block->bb_numrecs < $1
PARAM_COMPARE 1 numrecs > $0->bb_numrecs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 numrecs unit_array_size

fs/xfs/libxfs/xfs_btree.c xfs_btree_insrec() -> xfs_btree_set_numrecs()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
BUF_SIZE 0 block s32min-(-1),1-s32max
BUF_SIZE 0 block s32min-(-1),1-s32max
DATA_SOURCE 0 block r xfs_btree_get_block
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PARAM_COMPARE 0 block->bb_numrecs < $1
PARAM_COMPARE 1 numrecs > $0->bb_numrecs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 numrecs unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
BUF_SIZE 0 block s32min-(-1),1-s32max
BUF_SIZE 0 block s32min-(-1),1-s32max
DATA_SOURCE 0 block r xfs_btree_get_block
PARAM_COMPARE 0 block->bb_numrecs < $1
PARAM_COMPARE 1 numrecs > $0->bb_numrecs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 numrecs unit_array_size

fs/xfs/libxfs/xfs_btree.c xfs_btree_promote_node_iroot() -> xfs_btree_set_numrecs()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
PARAM_VALUE 1 numrecs 1
DATA_SOURCE 0 block $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_btree.c xfs_btree_rshift() -> xfs_btree_set_numrecs()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
BUF_SIZE 0 block s32min-(-1),1-s32max
BUF_SIZE 0 block s32min-(-1),1-s32max
DATA_SOURCE 0 block r xfs_btree_get_block
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_btree.c xfs_btree_rshift() -> xfs_btree_set_numrecs()

Type Parameter Key Value
PARAM_VALUE 0 block 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL