Defined in 1 files as a function:
Referenced in 5 files:
Smatch caller information:
fs/ext4/move_extent.c ext4_jbd2_inode_add_write() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
fs/ext4/extents.c ext4_handle_sync() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| LOCK2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct address_space)->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/extents.c ext4_journal_extend() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/extents.c ext4_journal_restart() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/extents.c ext4_update_inode_fsync_trans() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/indirect.c ext4_handle_is_aborted() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/indirect.c ext4_journal_restart() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/indirect.c ext4_update_inode_fsync_trans() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_do_writepages() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | r __ext4_journal_start |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/inode.c ext4_handle_sync() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_jbd2_inode_add_wait() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_jbd2_inode_add_write() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_journal_extend() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0-ptr_max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/inode.c ext4_journal_restart() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/inode.c ext4_journalled_write_end() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | 1-s32max |
| BUF_SIZE | 0 | handle | 1-s32max |
| DATA_SOURCE | 0 | handle | r ext4_journal_current_handle |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/inode.c ext4_update_inode_fsync_trans() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ei->i_data_sem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &sbi->s_orphan_lock |
fs/ext4/inode.c mpage_map_one_extent() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/ialloc.c ext4_handle_sync() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | handle | $0 |
fs/ext4/ialloc.c ext4_update_inode_fsync_trans() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | handle | $0 |
fs/ext4/xattr.c ext4_handle_sync() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
fs/ext4/xattr.c ext4_journal_restart() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
fs/ext4/xattr.c ext4_xattr_inode_cache_find() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/xattr.c ext4_xattr_release_block() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/xattr.c ext4_xattr_release_block() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 0,4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/xattr.c ext4_xattr_set_handle() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/inline.c ext4_handle_sync() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
fs/ext4/mballoc.c ext4_mb_clear_bb() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/mballoc.c ext4_mb_free_metadata() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | sb | ||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/ext4_jbd2.c __ext4_forget() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $2 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/ext4_jbd2.c __ext4_handle_dirty_metadata() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $2 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &elr->lr_super->s_umount | ||
| HALF_LOCKED2 | &grp->alloc_sem |
fs/ext4/ext4_jbd2.c __ext4_journal_ensure_credits() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/ext4_jbd2.c __ext4_journal_get_create_access() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $2 |
| STR_LEN | 0 | handle | (-1)-1 |
| STR_LEN | 0 | handle | (-1)-1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/ext4_jbd2.c __ext4_journal_get_write_access() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $2 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &ei->i_data_sem | ||
| HALF_LOCKED2 | &elr->lr_super->s_umount | ||
| HALF_LOCKED2 | &grp->alloc_sem | ||
| HALF_LOCKED2 | &sbi->s_orphan_lock |
fs/ext4/ext4_jbd2.c __ext4_journal_start_reserved() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 1-u64max |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
fs/ext4/ext4_jbd2.c __ext4_journal_stop() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &elr->lr_super->s_umount | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &mapping->invalidate_lock |
fs/ext4/ext4_jbd2.c ext4_journal_abort_handle() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $4 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| STR_LEN | 0 | handle | (-1)-24,26-27,29,31-32,63,99,115,254 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/ext4_jbd2.c ext4_journal_extend() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ext4/resize.c ext4_journal_restart() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| CAPPED_DATA | 0 | handle | 1 |
| DATA_SOURCE | 0 | handle | $0 |
fs/ext4/ioctl.c ext4_handle_sync() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/migrate.c ext4_journal_restart() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | handle | 4096-ptr_max |
| PARAM_VALUE | 0 | handle->h_invalid | 0 |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| BUF_SIZE | 0 | handle | (-1)-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/ext4/namei.c ext4_handle_sync() -> ext4_handle_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| BUF_SIZE | 0 | handle | (-1),1-s32max |
| DATA_SOURCE | 0 | handle | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |