Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/namei.c do_split() -> dx_insert_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | frame | 5032062656357871616-ptr_max |
| PARAM_VALUE | 0 | frame->at | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->bh | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->bh->b_data | 4096-ptr_max |
| PARAM_VALUE | 0 | frame->bh->b_folio->mapping->host->i_sb->s_cop->empty_dir | 0,86,4096-ptr_max |
| PARAM_VALUE | 0 | frame->bh->b_folio->mapping->host->i_sb->s_cop->get_context | 0,706,4096-ptr_max |
| PARAM_VALUE | 0 | frame->bh->b_folio->mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | frame->bh->b_folio->mapping->host->i_sb->s_cop->set_context | 0,67,4096-ptr_max |
| PARAM_VALUE | 0 | frame->entries | 4096-ptr_max |
| BUF_SIZE | 0 | frame | (-1),72 |
| BUF_SIZE | 0 | frame | (-1),72 |
| BUF_SIZE | 0 | frame->bh | (-1)-s32max |
| DATA_SOURCE | 0 | frame | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | block | 0-u32max |
fs/ext4/namei.c ext4_dx_add_entry() -> dx_insert_block()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | frame | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | block | 0-u32max |