Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/jfs/jfs_txnmgr.c txCommit() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid $0 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &imap->im_freelock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &jfs_ip->commit_mutex
HALF_LOCKED2 &ji->commit_mutex
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c add_missing_indices() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &dir_fp->readdir_lock
TYPE_LOCK (struct inode)->i_rwsem

fs/jfs/jfs_imap.c diNewIAG() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &imap->im_freelock
TYPE_LOCK (struct inomap)->im_freelock

fs/jfs/jfs_imap.c duplicateIXtree() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &imap->im_freelock
TYPE_LOCK (struct inomap)->im_freelock

fs/jfs/namei.c jfs_create() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dip->i_rwsem

fs/jfs/namei.c jfs_create() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dip->i_rwsem

fs/jfs/namei.c jfs_create() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dip->i_rwsem

fs/jfs/namei.c jfs_create() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dip->i_rwsem

fs/jfs/namei.c jfs_mkdir() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/jfs/namei.c jfs_mkdir() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/jfs/namei.c jfs_mkdir() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/jfs/namei.c jfs_mkdir() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/jfs/namei.c jfs_mknod() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

fs/jfs/namei.c jfs_mknod() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

fs/jfs/namei.c jfs_mknod() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock

fs/jfs/namei.c jfs_rename() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/namei.c jfs_rename() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/namei.c jfs_rename() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/namei.c jfs_rmdir() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dip->i_rwsem
HALF_LOCKED2 &dir->d_inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/jfs/namei.c jfs_symlink() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jfs/namei.c jfs_symlink() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jfs/namei.c jfs_symlink() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 0
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/jfs/namei.c jfs_unlink() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &target->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dip->i_rwsem
HALF_LOCKED2 &dir->d_inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/jfs/namei.c jfs_unlink() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &target->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dip->i_rwsem
HALF_LOCKED2 &dir->d_inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/jfs/namei.c jfs_unlink() -> txAbort()

Type Parameter Key Value
PARAM_VALUE 1 dirty 1
DATA_SOURCE 0 tid r txBegin
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &target->i_rwsem
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dip->i_rwsem
HALF_LOCKED2 &dir->d_inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem