Documented in 1 files:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
fs/ubifs/tnc_misc.c read_znode() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | key1 | 8 |
| BUF_SIZE | 2 | key2 | 8 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->hash_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| 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->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->bu_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/tnc_misc.c ubifs_search_zbranch() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $2 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->orph_dnext->inum | 0-u32max[c] |
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147483649[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->bu_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/tnc_misc.c ubifs_search_zbranch() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $2 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->orph_dnext->inum | 0-u32max[c] |
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147483649[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->bu_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/tnc_misc.c ubifs_search_zbranch() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $2 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->orph_dnext->inum | 0-u32max[c] |
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147483649[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->bu_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/tnc_misc.c ubifs_search_zbranch() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $2 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->orph_dnext->inum | 0-u32max[c] |
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147483649[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->bu_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c dbg_check_key_order() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/debug.c dbg_check_key_order() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 479040714013544448 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/debug.c dbg_check_key_order() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 479040714013544448 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/debug.c dbg_check_tnc() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| 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 | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/debug.c dbg_check_znode() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| 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 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/debug.c dbg_check_znode() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | key1 | 8 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/debug.c dbg_check_znode() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | key1 | 8 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/debug.c dbg_check_znode() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| 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 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/commit.c dbg_check_old_index() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 8579837587671064576 |
| PARAM_VALUE | 2 | key2 | 1457388595526217728 |
| 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 | |||
| 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/commit.c dbg_check_old_index() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 1337657728209276928 |
| PARAM_VALUE | 2 | key2 | 4743987866028609536 |
| 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 | |||
| 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/commit.c dbg_check_old_index() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 1337657728209276928 |
| PARAM_VALUE | 2 | key2 | 4743987866028609536 |
| 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 | |||
| 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 correct_parent_keys() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | key1 | 8 |
| BUF_SIZE | 2 | key2 | 8 |
| CAPPED_DATA | 0 | c->fanout | 1 |
| 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 | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c correct_parent_keys() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | key1 | 8 |
| BUF_SIZE | 2 | key2 | 8 |
| CAPPED_DATA | 0 | c->fanout | 1 |
| 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 | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c fallible_read_node() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 3053492190758957056 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex |
fs/ubifs/tnc.c fallible_resolve_collision() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | key2 | $1 |
| STR_LEN | 0 | c | (-1),1,9 |
| STR_LEN | 0 | c | (-1),1,9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c fallible_resolve_collision() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | key2 | $1 |
| STR_LEN | 0 | c | (-1),1,9 |
| STR_LEN | 0 | c | (-1),1,9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c is_leaf_node_in_tnc() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| 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->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c is_leaf_node_in_tnc() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| 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->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c key_in_range() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 1674069338143600640,1845269419766341632,2065301685616263168,5470272386854293504,6091130627981426688 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | key1 | 8 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $1 |
| DATA_SOURCE | 2 | key2 | $2 |
| STR_LEN | 0 | c | (-1)-0,23-24 |
| STR_LEN | 0 | c | (-1)-0,23-24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| 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 |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c key_in_range() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 777145161712513024,2862610171245469696,4803772238808203264,5393989854894428160,6099354243580362752 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | key1 | 8 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $1 |
| DATA_SOURCE | 2 | key2 | $3 |
| STR_LEN | 0 | c | (-1)-0,23-24 |
| STR_LEN | 0 | c | (-1)-0,23-24 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| 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 |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c lookup_level0_dirty() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| 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->orph_dnext->inum | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c lookup_znode() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | key2 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| 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->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c lookup_znode() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | key2 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| 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->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c resolve_collision() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | key2 | $1 |
| STR_LEN | 0 | c | (-1),1,9 |
| STR_LEN | 0 | c | (-1),1,9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c resolve_collision() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | key2 | $1 |
| STR_LEN | 0 | c | (-1),1,9 |
| STR_LEN | 0 | c | (-1),1,9 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/tnc.c resolve_collision_directly() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | key2 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | &wbuf->io_mutex | ||
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex | ||
| TYPE_LOCK | (struct ubifs_wbuf)->io_mutex |
fs/ubifs/tnc.c resolve_collision_directly() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 2 | key2 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | key2 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | &wbuf->io_mutex | ||
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex | ||
| TYPE_LOCK | (struct ubifs_wbuf)->io_mutex |
fs/ubifs/tnc.c ubifs_lookup_level0() -> keys_cmp()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | key1 | 4096-ptr_max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 1 | key1 | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| 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_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| 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->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | 0 | &c->bu_mutex | |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |