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_node_addname() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 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 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 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->mp 4096-ptr_max
BUF_SIZE 0 state->args (-1),144
DATA_SOURCE 0 state r xfs_da_state_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_lookup() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 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 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 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->mp 4096-ptr_max
BUF_SIZE 0 state->args (-1),144
CAPPED_DATA 0 state->path.active 1
DATA_SOURCE 0 state r xfs_da_state_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_removename() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 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_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 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->mp 4096-ptr_max
BUF_SIZE 0 state->args (-1),144
DATA_SOURCE 0 state r xfs_da_state_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_replace() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 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 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 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->mp 4096-ptr_max
BUF_SIZE 0 state->args (-1),144
CAPPED_DATA 0 state->path.active 1
DATA_SOURCE 0 state r xfs_da_state_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/libxfs/xfs_attr.c xfs_attr_lookup() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 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 4096-ptr_max
PARAM_VALUE 0 state->args->geo 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->mp 4096-ptr_max
DATA_SOURCE 0 state r xfs_da_state_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 state->args->hashval 0-u32max[c]
USER_DATA 0 state->args->rmtblkcnt 0-s32max[c]
USER_DATA 0 state->args->valuelen 0-65536
USER_DATA 0 *state->args->name 0-255
USER_DATA 0 *state->args->value s64min-s64max
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
USER_PTR 0 state->args->name
USER_PTR 0 state->args->value

fs/xfs/libxfs/xfs_attr.c xfs_attr_node_addname_find_attr() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 0
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 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
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->extraafter 0
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->extrablk.hashval 0
PARAM_VALUE 0 state->inleaf 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/libxfs/xfs_attr.c xfs_attr_node_get() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 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 4096-ptr_max
PARAM_VALUE 0 state->args->dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 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.blk 4096-ptr_max
CAPPED_DATA 0 state->path.active 1
DATA_SOURCE 0 state r xfs_da_state_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 state->args->hashval 0-u32max[c]
USER_DATA 0 state->args->rmtblkcnt 0-s32max[c]
USER_DATA 0 state->args->valuelen 0-65536
USER_DATA 0 *state->args->name 0-255
USER_DATA 0 *state->args->value s64min-s64max
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count
USER_PTR 0 state->args->name
USER_PTR 0 state->args->value

fs/xfs/libxfs/xfs_attr.c xfs_attr_node_remove_attr() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 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_hash.tbl->dep_map->name 0-255
PARAM_VALUE 0 state->args->geo 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
DATA_SOURCE 0 state r xfs_da_state_alloc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/libxfs/xfs_attr.c xfs_attr_node_removename_setup() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 0
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 4096-ptr_max
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->extraafter 0
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
PARAM_VALUE 0 state->extrablk.hashval 0
PARAM_VALUE 0 state->inleaf 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/libxfs/xfs_attr.c xfs_attr_node_try_addname() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 0 state->altpath.active 0
PARAM_VALUE 0 state->args 4096-ptr_max
PARAM_VALUE 0 state->args->geo 4096-ptr_max
PARAM_VALUE 0 state->extraafter 0-1
PARAM_VALUE 0 state->inleaf 0-1
PARAM_VALUE 0 state->path.blk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->extrablk.bp->b_map_count

fs/xfs/scrub/dabtree.c xchk_da_btree() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 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_flags_lock.rlock.dep_map->name 0-255
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->path.active 1-5
BUF_SIZE 0 state->args 144
DATA_SOURCE 0 state r xfs_da_state_alloc
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen

fs/xfs/xfs_attr_item.c xfs_attr_free_item() -> xfs_da_state_free()

Type Parameter Key Value
PARAM_VALUE 0 state 1-u64max
PARAM_VALUE 0 state->extrablk.bp->b_sema.first_waiter->up 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 state->args->rmtvaluelen