Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_join() -> xfs_da3_node_unbalance()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 2-5
PARAM_VALUE 0 state->altpath.blk 4096-ptr_max
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->dp 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 state->args->dp->i_mount->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->args->trans 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 state->args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->path.active 2-5
PARAM_VALUE 0 state->path.blk 4096-ptr_max
PARAM_VALUE 1 drop_blk 4096-ptr_max
PARAM_VALUE 1 drop_blk->bp 4096-ptr_max
PARAM_VALUE 1 drop_blk->bp->b_addr 4096-ptr_max
PARAM_VALUE 1 drop_blk->bp->b_addr->hdr.__count 0-u16max
PARAM_VALUE 1 drop_blk->bp->b_addr->hdr.__level 0-u16max
PARAM_VALUE 1 drop_blk->bp->b_addr->hdr.info.back 0-4294967295
PARAM_VALUE 1 drop_blk->bp->b_addr->hdr.info.forw 0-4294967295
PARAM_VALUE 1 drop_blk->bp->b_addr->hdr.info.hdr.back 0-4294967295
PARAM_VALUE 1 drop_blk->bp->b_addr->hdr.info.hdr.forw 0-4294967295
PARAM_VALUE 1 drop_blk->bp->b_addr->hdr.info.hdr.magic 0-u16max
PARAM_VALUE 1 drop_blk->bp->b_addr->hdr.info.magic 0-u16max
PARAM_VALUE 1 drop_blk->bp->b_flags 0,32-u32max
PARAM_VALUE 1 drop_blk->bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 drop_blk->bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 drop_blk->magic 65214
PARAM_VALUE 2 save_blk 0-ptr_max
CAPPED_DATA 1 drop_blk->bp->b_log_item->bli_format_count 1
CAPPED_DATA 1 drop_blk->index 1
DATA_SOURCE 0 state $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen