Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/block_validity.c ext4_protect_reserved_inode() -> add_system_zone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | system_blks | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-s32max |
| PARAM_VALUE | 3 | ino | 2-u32max |
| BUF_SIZE | 0 | system_blks | 24 |
| CAPPED_DATA | 3 | ino | 1 |
| DATA_SOURCE | 0 | system_blks | $1 |
| DATA_SOURCE | 2 | count | r ext4_map_blocks |
| DATA_SOURCE | 3 | ino | $2 |
| FUZZY_MAX | 3 | ino | 2 |
| NOSPEC | 2 | count | |
| UNITS | 1 | start_blk | unit_byte |
fs/ext4/block_validity.c ext4_setup_system_zone() -> add_system_zone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | system_blks | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-u32max |
| PARAM_VALUE | 3 | ino | 0 |
| BUF_SIZE | 0 | system_blks | 24 |
| DATA_SOURCE | 0 | system_blks | r _kzalloc_noprof |
| DATA_SOURCE | 2 | count | r ext4_num_base_meta_blocks |
fs/ext4/block_validity.c ext4_setup_system_zone() -> add_system_zone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | system_blks | 4096-ptr_max |
| PARAM_VALUE | 1 | start_blk | 0-u32max |
| PARAM_VALUE | 2 | count | 1 |
| PARAM_VALUE | 3 | ino | 0 |
| BUF_SIZE | 0 | system_blks | 24 |
| DATA_SOURCE | 0 | system_blks | r _kzalloc_noprof |
fs/ext4/block_validity.c ext4_setup_system_zone() -> add_system_zone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | system_blks | 4096-ptr_max |
| PARAM_VALUE | 0 | system_blks->root.rb_node | 4096-ptr_max |
| PARAM_VALUE | 1 | start_blk | 0-u32max |
| PARAM_VALUE | 2 | count | 1 |
| PARAM_VALUE | 3 | ino | 0 |
| BUF_SIZE | 0 | system_blks | 24 |
| DATA_SOURCE | 0 | system_blks | r _kzalloc_noprof |
fs/ext4/block_validity.c ext4_setup_system_zone() -> add_system_zone()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | system_blks | 4096-ptr_max |
| PARAM_VALUE | 0 | system_blks->root.rb_node | 4096-ptr_max |
| PARAM_VALUE | 1 | start_blk | 0-u32max |
| PARAM_VALUE | 3 | ino | 0 |
| BUF_SIZE | 0 | system_blks | 24 |
| DATA_SOURCE | 0 | system_blks | r _kzalloc_noprof |