Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/xattr.c ocfs2_validate_inode_xattr() -> ocfs2_validate_xattr_entries_flat()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->osb_ecc_stats.b_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 xh 4096-ptr_max
PARAM_VALUE 2 xh->xh_count 0-4094
PARAM_VALUE 3 region_size 16-u16max
CAPPED_DATA 1 blkno 1
CAPPED_DATA 1 blkno 1
DATA_SOURCE 0 sb $0
DATA_SOURCE 1 blkno $1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
UNITS 1 blkno unit_byte

fs/ocfs2/xattr.c ocfs2_validate_xattr_block() -> ocfs2_validate_xattr_entries_flat()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->osb_ecc_stats.b_lock.rlock.dep_map->name 0-255
PARAM_VALUE 3 region_size 0-18446744073709551567
CAPPED_DATA 1 blkno 1
CAPPED_DATA 1 blkno 1
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 1 blkno unit_byte
UNITS 3 region_size unit_byte