Defined in 2 files as a macro:
- fs/xfs/libxfs/xfs_dir2_leaf.c, line 136 (as a macro)
- fs/xfs/libxfs/xfs_dir2_node.c, line 96 (as a macro)
Defined in 2 files as a function:
- fs/xfs/libxfs/xfs_dir2_leaf.c, line 121 (as a function)
- fs/xfs/libxfs/xfs_dir2_node.c, line 81 (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_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 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_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_ops | 3485974199440592896 |
| BUF_SIZE | 1 | bp->b_ops | 40 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| DATA_SOURCE | 1 | bp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_add() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 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_log_item | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| DATA_SOURCE | 1 | bp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_lookup_for_addname() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| 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_sema.first_waiter->up | 0-1 |
| DATA_SOURCE | 1 | bp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_lookup_for_entry() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| 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_sema.first_waiter->up | 0-1 |
| DATA_SOURCE | 1 | bp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_rebalance() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 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_log_item | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_rebalance() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 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_log_item | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | bp->b_ops | 3485974199440592896,5374674744482988032 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_remove() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 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_log_item | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| DATA_SOURCE | 1 | bp | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_split() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 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->back | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_addr->forw | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_flags | 0,32-u32max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_split() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 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->back | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_addr->forw | 0-4294967295 |
| PARAM_VALUE | 1 | bp->b_flags | 0,32-u32max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | bp->b_ops | 3485974199440592896,5374674744482988032 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_toosmall() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 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 | |||
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_unbalance() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 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_log_item | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_node.c xfs_dir2_leafn_unbalance() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 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_log_item | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_block_to_leaf() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 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_log_item | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_log_item->bli_flags | 0,2-u32max |
| PARAM_VALUE | 1 | bp->b_ops | 3485974199440592896,5374674744482988032 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_addname() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| 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 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_lookup() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_lookup_int() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount->m_ddev_targp->bt_hash.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_removename() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr | 4096-ptr_max |
| 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 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_removename() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr | 4096-ptr_max |
| 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 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_leaf_replace() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_lru_ref.counter | 0-4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | bp->b_map_count | |
| UNITS | 0 | dp | unit_byte |
fs/xfs/libxfs/xfs_dir2_leaf.c xfs_dir2_node_to_leaf() -> xfs_dir3_leaf_check()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dp | 4096-ptr_max |
| PARAM_VALUE | 0 | dp->i_mount | 4096-ptr_max |
| PARAM_VALUE | 1 | bp | 4096-ptr_max |
| PARAM_VALUE | 1 | bp->b_addr | 4096-ptr_max |
| 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_ops | 5374674744482988032 |
| BUF_SIZE | 1 | bp->b_ops | 40 |
| CAPPED_DATA | 1 | bp->b_log_item->bli_format_count | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dp | unit_byte |