Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- fs/afs/dir.c
- fs/afs/dir_silly.c
- fs/afs/file.c, line 348
- fs/afs/flock.c
- fs/afs/inode.c
- fs/afs/super.c, line 762
- fs/afs/write.c, line 130
- fs/afs/xattr.c
Smatch caller information:
fs/afs/flock.c afs_extend_lock() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | key->sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | key->sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | key->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | key->user->qnkeys | s32min-s32max |
| DATA_SOURCE | 0 | key | $1 |
| UNITS | 0 | key | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/afs/flock.c afs_release_lock() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key->sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | key->sem.first_waiter->type | 0-1 |
| DATA_SOURCE | 0 | key | $1 |
| UNITS | 0 | key | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/afs/flock.c afs_set_lock() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0,4096-ptr_max |
| PARAM_VALUE | 0 | key->sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | key->sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | volume->cb_check_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | volume->cb_check_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 1 | volume->cb_check_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 1 | volume->cb_check_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | volume->cb_check_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 1 | volume->cb_check_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 1 | volume->cb_check_lock.first_waiter->task->blocked_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | volume->cb_check_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | volume->cb_check_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | volume->cell->anonymous_key->user->qnbytes | s32min-s32max |
| DATA_SOURCE | 0 | key | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | key | unit_byte |
fs/afs/inode.c afs_fetch_status() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key->sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | key->sem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | key | (-1)-s32max |
| BUF_SIZE | 0 | key | (-1)-s32max |
| DATA_SOURCE | 0 | key | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | key->quotalen | |
| NO_OVERFLOW_SIMPLE | 1 | volume->cell->anonymous_key->quotalen | |
| UNITS | 0 | key | unit_byte |
| HALF_LOCKED2 | &vnode->validate_lock |
fs/afs/inode.c afs_root_iget() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | volume | 4096-ptr_max |
| DATA_SOURCE | 0 | key | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount |
fs/afs/inode.c afs_setattr() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &vnode->validate_lock | ||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/file.c afs_issue_read() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | key | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | key | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/afs/write.c afs_issue_write_worker() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | key | s32min-(-2),1-s32max |
| HALF_LOCKED2 | &pool->lock |
fs/afs/dir_silly.c afs_do_silly_rename() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 4096-ptr_max |
| PARAM_VALUE | 0 | key->sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | key->sem.first_waiter->type | 0-1 |
| DATA_SOURCE | 0 | key | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | key->quotalen | |
| UNITS | 0 | key | unit_byte |
| HALF_LOCKED2 | &new->d_lockref.lock | ||
| HALF_LOCKED2 | &old->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir_silly.c afs_do_silly_unlink() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &inode->i_lock | ||
| TYPE_LOCK | (struct afs_vnode)->rmdir_lock |
fs/afs/super.c afs_statfs() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &s->s_umount |
fs/afs/dir.c afs_create() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/afs/dir.c afs_do_lookup() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| PARAM_VALUE | 1 | volume | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dir->i_rwsem |
fs/afs/dir.c afs_link() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/afs/dir.c afs_mkdir() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/afs/dir.c afs_rename() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_rmdir() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &dir->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dir->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/afs/dir.c afs_symlink() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/afs/dir.c afs_unlink() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &target->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex | ||
| HALF_LOCKED2 | &dir->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dir->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/afs/xattr.c afs_xattr_get_acl() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/afs/xattr.c afs_xattr_get_yfs() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/afs/xattr.c afs_xattr_set_acl() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/afs/xattr.c afs_xattr_set_yfs() -> afs_alloc_operation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | key | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem |