Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leaf_to_node() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_disk_size (-9223372036854775807)-s64max
PARAM_VALUE 0 args->dp->i_flags_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 args->dp->i_itemp->ili_dirty_flags 0-4294967295
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->op_flags 12-13
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 bp->b_ops 3485974199440592896
BUF_SIZE 0 args->name s32min-(-1),1-s32max
BUF_SIZE 1 bp->b_ops 40
CAPPED_DATA 0 args->geo->fsbcount 1
CAPPED_DATA 0 args->trans 1
DATA_SOURCE 0 args $0
DATA_SOURCE 1 bp $1
STR_LEN 0 args->trans (-1),5,8
BIT_INFO 0 args->op_flags 0x8,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_add() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
BUF_SIZE 0 args->name s32min-(-1),1-s32max
DATA_SOURCE 0 args $1
DATA_SOURCE 1 bp $0
STR_LEN 0 args->trans (-1),5,8
BIT_INFO 0 args->op_flags 0x0,0xfe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_rebalance() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_rebalance() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_flags 0,32-u32max
PARAM_VALUE 1 bp->b_ops 3485974199440592896,5374674744482988032
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_remove() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_file->f_inode->i_wb->dwork.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 args->dp->i_mount->m_filestream->grp_time 0-4294967295
PARAM_VALUE 0 args->dp->i_mount->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
BUF_SIZE 0 args->name s32min-(-1),1-s32max
DATA_SOURCE 0 args $0
DATA_SOURCE 1 bp $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_unbalance() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_unbalance() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_block_to_leaf() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->dp->i_mount->m_dir_geo 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->op_flags 12-13
PARAM_VALUE 0 args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_flags 0,32-4294967295
PARAM_VALUE 1 bp->b_ops 3485974199440592896,5374674744482988032
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 0 args->geo->fsbcount 1
CAPPED_DATA 0 args->trans 1
DATA_SOURCE 0 args $0
STR_LEN 0 args->trans (-1),5,8
BIT_INFO 0 args->op_flags 0x8,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->geo->fsbcount
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_addname() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->op_flags 12-13
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args->name s32min-(-1),1-s32max
DATA_SOURCE 0 args $0
STR_LEN 0 args->trans (-1),5,8
BIT_INFO 0 args->op_flags 0x8,0xe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_removename() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->cmpresult 1-2
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 0 args->whichfork 0
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args->name s32min-(-1),1-s32max
DATA_SOURCE 0 args $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_node_to_leaf() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_ops 5374674744482988032
BUF_SIZE 1 bp->b_ops 40
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir3_leaf_compact() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
DATA_SOURCE 0 args $0
DATA_SOURCE 1 bp $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir3_leaf_get_buf() -> xfs_dir3_leaf_log_header()

Type Parameter Key Value
PARAM_VALUE 0 args 4096-ptr_max
PARAM_VALUE 0 args->dp 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount 4096-ptr_max
PARAM_VALUE 0 args->dp->i_mount->m_filestream->lru_grp 0-4294967295
PARAM_VALUE 0 args->geo 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next 4096-ptr_max
PARAM_VALUE 0 args->trans->t_items.prev->next->next 4096-ptr_max
PARAM_VALUE 1 bp 4096-ptr_max
PARAM_VALUE 1 bp->b_addr 4096-ptr_max
PARAM_VALUE 1 bp->b_addr->count 0
PARAM_VALUE 1 bp->b_addr->hdr.count 0
PARAM_VALUE 1 bp->b_addr->hdr.info.back 0
PARAM_VALUE 1 bp->b_addr->hdr.info.forw 0
PARAM_VALUE 1 bp->b_addr->hdr.info.magic 54001,54015
PARAM_VALUE 1 bp->b_addr->hdr.info.pad 0
PARAM_VALUE 1 bp->b_addr->hdr.stale 0
PARAM_VALUE 1 bp->b_addr->info.crc 0
PARAM_VALUE 1 bp->b_addr->info.hdr.back 0
PARAM_VALUE 1 bp->b_addr->info.hdr.forw 0
PARAM_VALUE 1 bp->b_addr->info.hdr.magic 15857,15871
PARAM_VALUE 1 bp->b_addr->info.hdr.pad 0
PARAM_VALUE 1 bp->b_addr->info.lsn 0
PARAM_VALUE 1 bp->b_addr->pad 0
PARAM_VALUE 1 bp->b_addr->stale 0
PARAM_VALUE 1 bp->b_ops 3485974199440592896,5374674744482988032
PARAM_VALUE 1 bp->b_ops->name 1659468504146599936,2460750115576000512
PARAM_VALUE 1 bp->b_ops->verify_read 3562449903453917184
PARAM_VALUE 1 bp->b_ops->verify_struct 1153922170065375232
PARAM_VALUE 1 bp->b_ops->verify_write 8674361191688728576
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 0 args->geo->fsbcount 1
CAPPED_DATA 0 args->trans 1
DATA_SOURCE 0 args $0
STR_LEN 0 args->trans (-1),5,8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 args->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count