Documented in 1 files:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/ubifs/commit.c dbg_check_old_index() -> highest_ino_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key | 1337657728209276928 |
| PARAM_VALUE | 2 | inum | 4294967040 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/tnc.c ubifs_tnc_remove_ino() -> highest_ino_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key | 777145161712513024 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1) |
| STR_LEN | 0 | c | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex |
fs/ubifs/tnc.c ubifs_tnc_remove_ino() -> highest_ino_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key | 777145161712513024 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | inum | $1 |
| STR_LEN | 0 | c | (-1) |
| STR_LEN | 0 | c | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex |
fs/ubifs/journal.c ubifs_jnl_delete_xattr() -> highest_ino_key()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key | 4803772238808203264 |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | &host_ui->ui_mutex | ||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &host->i_rwsem | ||
| TYPE_LOCK | (struct ubifs_inode)->ui_mutex |