Open Menu /

Defined in 2 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

fs/nfs/inode.c __put_nfs_open_context() -> nfs_sb_deactive()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 0-u64max[c]
UNITS 0 sb unit_byte
HALF_LOCKED2 &ctx->dentry->d_lockref.lock

fs/nfs/delegation.c nfs_delegation_find_inode_server() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
NOCHECK_CALL

fs/nfs/super.c nfs_client_for_each_server() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->rcu.func 1-u64max
PARAM_VALUE 0 sb->rcu.next 0
PARAM_VALUE 0 sb->s_dentry_lru.node 0
PARAM_VALUE 0 sb->s_dentry_lru.shrinker_id (-1)
PARAM_VALUE 0 sb->s_flags 0,2097152-u64max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->active.counter s32min-s32max
PARAM_VALUE 0 sb->s_inode_lru.node 0
PARAM_VALUE 0 sb->s_inode_lru.shrinker_id (-1)
PARAM_VALUE 0 sb->s_instances.pprev 0
PARAM_VALUE 0 sb->s_list.next->prev 4096-ptr_max
PARAM_VALUE 0 sb->s_list.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_shrink->done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->name 0
PARAM_VALUE 0 sb->s_shrink->rcu.func 1-u64max
PARAM_VALUE 0 sb->s_shrink->rcu.next 0
PARAM_VALUE 0 sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sb->s_umount.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 sb->s_umount.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 sb->s_umount.first_waiter->type 0-1
NOCHECK_CALL

fs/nfs/super.c nfs_client_for_each_server() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_dentry_lru.node 0
PARAM_VALUE 0 sb->s_dentry_lru.shrinker_id (-1)
PARAM_VALUE 0 sb->s_flags 0,2097152-u64max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->active.counter s32min-s32max
PARAM_VALUE 0 sb->s_inode_lru.node 0
PARAM_VALUE 0 sb->s_inode_lru.shrinker_id (-1)
PARAM_VALUE 0 sb->s_instances.pprev 0
PARAM_VALUE 0 sb->s_list.next->prev 4096-ptr_max
PARAM_VALUE 0 sb->s_list.prev 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 sb->s_shrink->done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 sb->s_shrink->name 0
PARAM_VALUE 0 sb->s_shrink->rcu.func 1-u64max
PARAM_VALUE 0 sb->s_shrink->rcu.next 0
PARAM_VALUE 0 sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sb->s_umount.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 sb->s_umount.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 sb->s_umount.first_waiter->type 0-1
NOCHECK_CALL

fs/nfs/callback_proc.c nfs_iput_and_deactive() -> nfs_sb_deactive()

Type Parameter Key Value
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/nfs/callback_proc.c nfs_layout_find_inode_by_fh() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_active.counter 0-s32max
PARAM_VALUE 0 sb->s_fs_info->active.counter s32min-s32max
NOCHECK_CALL

fs/nfs/callback_proc.c nfs_layout_find_inode_by_stateid() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_active.counter 0-s32max
PARAM_VALUE 0 sb->s_fs_info->active.counter s32min-s32max
NOCHECK_CALL

fs/nfs/nfs42proc.c nfs_igrab_and_active() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->active.counter s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/nfs/nfs42proc.c nfs_iput_and_deactive() -> nfs_sb_deactive()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/nfs/nfs4proc.c nfs41_free_stateid() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->active.counter s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4proc.c nfs41_free_stateid_release() -> nfs_sb_deactive()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/nfs4proc.c nfs4_free_closedata() -> nfs_sb_deactive()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/nfs/nfs4proc.c nfs4_opendata_free() -> nfs_sb_deactive()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &p->dentry->d_lockref.lock
HALF_LOCKED2 &p->dir->d_lockref.lock
HALF_LOCKED2 &sp->so_delegreturn_mutex

fs/nfs/nfs4proc.c nfs_igrab_and_active() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->active.counter s32min-s32max
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte

fs/nfs/nfs4proc.c nfs_iput_and_deactive() -> nfs_sb_deactive()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &pool->lock

fs/nfs/pnfs.c nfs_iput_and_deactive() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte

fs/nfs/pnfs.c pnfs_layout_bulk_destroy_byserver_locked() -> nfs_sb_deactive()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info->active.counter s32min-s32max
PARAM_VALUE 0 sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 sb->s_umount.first_waiter->type 0-1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/unlink.c nfs_async_rename_release() -> nfs_sb_deactive()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &data->new_dentry->d_lockref.lock
HALF_LOCKED2 &data->old_dentry->d_lockref.lock

fs/nfs/unlink.c nfs_async_unlink_release() -> nfs_sb_deactive()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sb unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock