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