Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/xattr.c ext4_expand_extra_isize_ea() -> ext4_xattr_make_inode_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle->h_transaction->t_journal->j_superblock->s_checksum_type | 4 |
| PARAM_VALUE | 0 | handle->h_transaction->t_journal->j_superblock->s_errno | 0-4294967187,4294967189-u32max |
| PARAM_VALUE | 1 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | raw_inode | 4096-ptr_max |
| PARAM_VALUE | 3 | isize_diff | s32min-(-1),1-s32max |
| PARAM_VALUE | 4 | ifree | 0-18446744073709551614 |
| PARAM_VALUE | 6 | total_ino | 5840184891650322432 |
| PARAM_VALUE | 6 | *total_ino | 8,24-s32max |
| CAPPED_DATA | 4 | ifree | 1 |
| CAPPED_DATA | 4 | ifree | 1 |
| DATA_SOURCE | 0 | handle | $3 |
| DATA_SOURCE | 1 | inode | $0 |
| DATA_SOURCE | 2 | raw_inode | $2 |
| DATA_SOURCE | 4 | ifree | r ext4_xattr_free_space |
| PARAM_COMPARE | 3 | isize_diff | > $4 |
| PARAM_COMPARE | 4 | ifree | < $3 |
| PARAM_COMPARE | 4 | ifree | < $3 |
| NO_OVERFLOW_SIMPLE | 1 | inode->i_ino | |
| UNITS | 3 | isize_diff | unit_byte |
| UNITS | 4 | ifree | unit_byte |
| UNITS | 5 | bfree | unit_byte |