Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/jbd2/transaction.c jbd2_check_fs_dev_write_error() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

fs/nfsd/nfs4proc.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
DATA_SOURCE 1 since $1

fs/nfsd/filecache.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
DATA_SOURCE 1 since $1
RX_PATH
TASK_NOT_RUNNING

fs/xfs/xfs_buf_mem.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
PARAM_VALUE 1 since 0
DATA_SOURCE 1 since $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mp->m_growlock

fs/ntfs/super.c ntfs_handle_error() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max

fs/nfs/file.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
DATA_SOURCE 1 since $1
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/util.c ovl_sync_status() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

mm/filemap.c file_check_and_advance_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/xfs/scrub/xfile.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
PARAM_VALUE 1 since 0
DATA_SOURCE 1 since $1
RX_PATH
TASK_NOT_RUNNING

fs/overlayfs/super.c ovl_fill_super_creds() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
DATA_SOURCE 1 since r errseq_sample
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount

fs/nfs/nfs4file.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
DATA_SOURCE 1 since $1
RX_PATH
TASK_NOT_RUNNING

fs/jbd2/journal.c jbd2_check_fs_dev_write_error() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &journal->j_checkpoint_mutex

fs/nfsd/vfs.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
DATA_SOURCE 1 since $1

fs/smb/client/file.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
PARAM_VALUE 1 since 0
DATA_SOURCE 1 since $1
RX_PATH
TASK_NOT_RUNNING

fs/gfs2/lops.c filemap_check_wb_err() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
DATA_SOURCE 1 since $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sdp->sd_freeze_mutex

fs/jbd2/recovery.c jbd2_check_fs_dev_write_error() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

fs/ext4/ext4_jbd2.c ext4_check_bdev_write_error() -> errseq_check()

Type Parameter Key Value
PARAM_VALUE 0 eseq 4096-ptr_max
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