Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_remove() -> xfs_dir2_data_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
PARAM_VALUE 1 bp->b_flags 0,32-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 1 bp->b_log_item->bli_format_count 1
DATA_SOURCE 0 args $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_addname_int() -> xfs_dir2_data_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_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->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-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 bp->b_mount 4096-ptr_max
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 1 bp->b_log_item->bli_format_count 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->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_block_to_leaf() -> xfs_dir2_data_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 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_flags 0,32-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 bp->b_ops 5744654065408303104
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
CAPPED_DATA 1 bp->b_log_item->bli_format_count 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->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_dir2_data_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->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-4294967295
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
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_dir2_data_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_flags 0,32-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 bp->b_sema.lock.owner_cpu 0-4294967295
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args (-1),144
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 1 bp->b_log_item->bli_format_count 1
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_block.c xfs_dir2_block_addname() -> xfs_dir2_data_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->trans->t_mountp 4096-ptr_max
PARAM_VALUE 0 args->trans->t_mountp->m_dir_geo 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-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
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
CAPPED_DATA 1 bp->b_log_item->bli_format_count 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->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count

fs/xfs/libxfs/xfs_dir2_block.c xfs_dir2_block_removename() -> xfs_dir2_data_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->dp->i_mount->m_dir_geo 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 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->trans->t_mountp 4096-ptr_max
PARAM_VALUE 0 args->trans->t_mountp->m_dir_geo 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-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
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
CAPPED_DATA 0 args->hashval 1
CAPPED_DATA 1 bp->b_log_item->bli_format_count 1
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_block.c xfs_dir2_leaf_to_block() -> xfs_dir2_data_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 s64min-4294967295
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->geo 4096-ptr_max
PARAM_VALUE 0 args->geo->blksize 1-u32max
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->trans->t_mountp 4096-ptr_max
PARAM_VALUE 0 args->trans->t_mountp->m_dir_geo 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->magic 1480864322,1480868403
PARAM_VALUE 1 bp->b_flags 0,32-u32max
PARAM_VALUE 1 bp->b_log_item 4096-ptr_max
PARAM_VALUE 1 bp->b_log_item->bli_flags 0,2-u32max
PARAM_VALUE 1 bp->b_lru_ref.counter 0-4
PARAM_VALUE 1 bp->b_mount 4096-ptr_max
PARAM_VALUE 1 bp->b_ops 8130666099431895040
PARAM_VALUE 1 bp->b_ops->name 6603148259962097664
PARAM_VALUE 1 bp->b_ops->verify_read 2149446122342985728
PARAM_VALUE 1 bp->b_ops->verify_struct 8490936555181666304
PARAM_VALUE 1 bp->b_ops->verify_write 5733266519559917568
BUF_SIZE 0 args->name s32min-(-1),1-s32max
CAPPED_DATA 0 args->trans 1
CAPPED_DATA 1 bp->b_log_item->bli_format_count 1
DATA_SOURCE 0 args $0
DATA_SOURCE 1 bp $2 [m]
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_data.c xfs_dir3_data_init() -> xfs_dir2_data_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_itemp->ili_dirty_flags 0-4294967295
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 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_ops 5744654065408303104
BUF_SIZE 0 args->name s32min-(-1),1-s32max
BUF_SIZE 1 bp->b_ops 40
CAPPED_DATA 0 args->geo->fsbcount 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->trans->t_blk_res
NO_OVERFLOW_SIMPLE 1 bp->b_map_count