Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

fs/xfs/scrub/attr_repair.c xrep_xattr_recover_block() -> xfs_attr3_leaf_header_check()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_flags 0-4294967295
PARAM_VALUE 0 bp->b_lockref.count s32min-s32max
PARAM_VALUE 0 bp->b_ops 0,2348109553517068288,5744654065408303104,8130666099431895040
PARAM_VALUE 0 bp->b_ops->name 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_read 4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_struct 0,4096-ptr_max
PARAM_VALUE 0 bp->b_ops->verify_write 4096-ptr_max
PARAM_VALUE 0 bp->b_sema.lock.owner (-1)
PARAM_VALUE 0 bp->b_sema.lock.owner_cpu 4294967295
PARAM_VALUE 0 bp->b_sema.lock.raw_lock.val.counter s32min-s32max
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &bp->b_sema

fs/xfs/libxfs/xfs_attr_leaf.c xfs_attr3_leaf_read() -> xfs_attr3_leaf_header_check()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
DATA_SOURCE 1 owner $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
UNITS 1 owner unit_byte

fs/xfs/scrub/listxattr.c xchk_xattr_find_leftmost_leaf() -> xfs_attr3_leaf_header_check()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
HALF_LOCKED2 &dl->lock

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_header_check() -> xfs_attr3_leaf_header_check()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
DATA_SOURCE 0 bp $0
DATA_SOURCE 1 owner $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
UNITS 1 owner unit_byte

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_node_lookup_int() -> xfs_attr3_leaf_header_check()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
UNITS 1 owner unit_byte

fs/xfs/libxfs/xfs_da_btree.c xfs_da3_path_shift() -> xfs_attr3_leaf_header_check()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_map_count
UNITS 1 owner unit_byte

fs/xfs/xfs_attr_list.c xfs_attr_node_list() -> xfs_attr3_leaf_header_check()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_map_count

fs/xfs/xfs_attr_list.c xfs_attr_node_list_lookup() -> xfs_attr3_leaf_header_check()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 0 bp->b_addr 4096-ptr_max
PARAM_VALUE 0 bp->b_lru_ref.counter 0-4
PARAM_VALUE 0 bp->b_sema.first_waiter->up 0-1
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 bp->b_map_count