Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_free_hdr_check() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 4502705933533220864
PARAM_VALUE 2 from 4096-ptr_max
BUF_SIZE 2 from s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 968280014179311616
BUF_SIZE 2 from s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_lookup_for_addname() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 1099533360946307072
PARAM_VALUE 2 from 0,4096-ptr_max
BUF_SIZE 2 from s32min-(-2),0-s32max
BUF_SIZE 2 from s32min-(-2),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 1 to 5880940935926226944
BUF_SIZE 2 from s32min-(-2),1-s32max
BUF_SIZE 2 from s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_add_datablk() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 3272148143598161920
BUF_SIZE 2 from s32min-(-2),1-s32max
DATA_SOURCE 1 to $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_add_datablk() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 3272148143598161920
BUF_SIZE 2 from s32min-(-2),1-s32max
DATA_SOURCE 1 to $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_find_freeblk() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 3272148143598161920
BUF_SIZE 2 from s32min-(-2),1-s32max
DATA_SOURCE 1 to $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_find_freeblk() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 1 to 3272148143598161920
BUF_SIZE 2 from s32min-(-2),1-s32max
DATA_SOURCE 1 to $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_node_trim_free() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 0 mp->m_ddev_targp->bt_hash.tbl->dep_map->name 0-255
PARAM_VALUE 1 to 7210233204670070784
BUF_SIZE 2 from s32min-(-2),1-s32max
BUF_SIZE 2 from s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

fs/xfs/libxfs/xfs_dir2_node.c xfs_dir3_data_block_free() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 4487378368941244416
BUF_SIZE 2 from s32min-(-2),1-s32max
BUF_SIZE 2 from s32min-(-2),1-s32max
DATA_SOURCE 2 from $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 2990149305946935296
BUF_SIZE 2 from s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 mp unit_byte

fs/xfs/scrub/dir.c xchk_directory_free_bestfree() -> xfs_dir2_free_hdr_from_disk()

Type Parameter Key Value
PARAM_VALUE 0 mp 4096-ptr_max
PARAM_VALUE 1 to 207641762068631552
BUF_SIZE 2 from s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 mp unit_byte