Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-127
PARAM_VALUE 0 tlock->maxcnt 20,28
BUF_SIZE 0 tlock (-1),48
BUF_SIZE 0 tlock (-1),48
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
LOCK2 &inode->i_rwsem
HALF_LOCKED2 &dir_fp->readdir_lock
TYPE_LOCK (struct inode)->i_rwsem

fs/jfs/jfs_dtree.c dtDelete() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->index 20-127
BUF_SIZE 0 tlock 48
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtDelete() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-28
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
BUF_SIZE 0 tlock (-1),48
BUF_SIZE 0 tlock (-1),48
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index == $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtDeleteEntry() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->index 20-127
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtDeleteEntry() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-127
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index == $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtDeleteUp() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->index 20-127
BUF_SIZE 0 tlock 48
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ip->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtDeleteUp() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-127
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
BUF_SIZE 0 tlock (-1),48
BUF_SIZE 0 tlock (-1),48
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index == $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ip->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtInsert() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-28
PARAM_VALUE 0 tlock->l2linesize 4-5,7
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING

fs/jfs/jfs_dtree.c dtInsertEntry() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->index 20-127
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING

fs/jfs/jfs_dtree.c dtInsertEntry() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-127
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index == $0->maxcnt
RX_PATH
TASK_NOT_RUNNING

fs/jfs/jfs_dtree.c dtLinelockFreelist() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->index 20-127
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/jfs/jfs_dtree.c dtLinelockFreelist() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-127
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index == $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/jfs/jfs_dtree.c dtMoveEntry() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-127
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/jfs/jfs_dtree.c dtMoveEntry() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-127
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/jfs/jfs_dtree.c dtRelink() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->index 20-127
BUF_SIZE 0 tlock 48
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &ip->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtRelink() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
BUF_SIZE 0 tlock 48
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &ip->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtSplitPage() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-28
PARAM_VALUE 0 tlock->l2linesize 4-5,7
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

fs/jfs/jfs_dtree.c dtTruncateEntry() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->index 20-127
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &ip->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c dtTruncateEntry() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->flag 8192,8256
PARAM_VALUE 0 tlock->index 20-127
PARAM_VALUE 0 tlock->lv 4096-ptr_max
PARAM_VALUE 0 tlock->maxcnt 20,28
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index == $0->maxcnt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &ip->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/jfs/jfs_dtree.c lock_index() -> txLinelock()

Type Parameter Key Value
PARAM_VALUE 0 tlock 4096-ptr_max
PARAM_VALUE 0 tlock->index 20-127
BUF_SIZE 0 tlock 48
CAPPED_DATA 0 tlock->maxcnt 1
PARAM_COMPARE 0 tlock->index >= $0->maxcnt
RX_PATH
TASK_NOT_RUNNING