Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

fs/nfs/inode.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/inode.c nfs_attr_check_mountpoint() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 0 &s->s_umount

fs/nfs/inode.c nfs_fhget() -> NFS_SB()

Type Parameter Key Value
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 0 &s->s_umount

fs/nfs/inode.c nfs_fhget() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 0 &s->s_umount

fs/nfs/inode.c nfs_fhget() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 0 &s->s_umount

fs/nfs/inode.c nfs_fhget() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 0 &s->s_umount

fs/nfs/pnfs_nfs.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/delegation.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs4client.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs4client.c nfs4_create_referral_server() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &parent->d_lockref.lock

fs/nfs/super.c nfs_compare_super() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &sb_lock
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 global &cifs_mount_mutex

fs/nfs/super.c nfs_fill_super() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-2147486719[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/nfs/super.c nfs_get_cache_cookie() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->s_fs_info 4096-ptr_max
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-2147552255[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/nfs/super.c nfs_get_cache_cookie() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 1-u64max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/nfs/super.c nfs_kill_super() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s s32min,(-10),(-1)-s32max
BUF_SIZE 0 s s32min,(-10),(-1)-s32max
BUF_SIZE 0 s->s_fs_info (-1),4608
BUF_SIZE 0 s->s_op (-1),224
BUF_SIZE 0 s->s_root (-1)-s32max
BUF_SIZE 0 s->s_type (-1),232
BUF_SIZE 0 s->s_xattr (-1),16
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
STR_LEN 0 s->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_bdev_file->f_flags 0,32768-u32max
USER_DATA 0 s->s_bdev_file->f_mode 0,64-u32max[c]
USER_DATA 0 s->s_flags 0-u64max[c]
USER_DATA 0 s->s_root->__d_name.hash 0-u32max[c]
USER_DATA 0 s->s_root->d_parent->__d_name.hash 0-u32max[c]
USER_DATA 0 s->s_root->d_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 s->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 s->s_root->d_inode->i_size
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex
HALF_LOCKED2 0 &s->s_umount

fs/nfs/super.c nfs_sb_active() -> NFS_SB()

Type Parameter Key Value
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 &clp->cl_lock
HALF_LOCKED2 &delegation->lock
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte

fs/nfs/super.c nfs_show_options() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &m->lock
HALF_LOCKED2 global &namespace_sem

fs/nfs/super.c nfs_show_stats() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
LOCK2 &m->lock
TYPE_LOCK (struct seq_file)->lock

fs/nfs/super.c nfs_statfs() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &s->s_umount

fs/nfs/super.c nfs_umount_begin() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0

fs/nfs/nfs3proc.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs3proc.c nfs_lookup_is_soft_revalidate() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock

fs/nfs/getroot.c nfs_get_root() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-2147552255[c]
HALF_LOCKED2 &fc->uapi_mutex

fs/nfs/getroot.c nfs_get_root() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 1-u64max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &fc->uapi_mutex

fs/nfs/nfs4super.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/blocklayout/blocklayout.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/namespace.c nfs_d_automount() -> NFS_SB()

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

fs/nfs/namespace.c nfs_do_submount() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &parent->d_lockref.lock
HALF_LOCKED2 &path->dentry->d_lockref.lock

fs/nfs/callback_proc.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/fscache.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/fscache.c nfs_fscache_get_super_cookie() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->s_fs_info 4096-ptr_max
BUF_SIZE 0 s (-1),2880
BUF_SIZE 0 s (-1),2880
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-2147552255[c]
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 0 &s->s_umount

fs/nfs/fscache.c nfs_fscache_release_super_cookie() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
BUF_SIZE 0 s s32min,(-10),(-1)-s32max
BUF_SIZE 0 s s32min,(-10),(-1)-s32max
BUF_SIZE 0 s->s_fs_info (-1),4416
BUF_SIZE 0 s->s_op (-1),216
BUF_SIZE 0 s->s_type (-1),232
BUF_SIZE 0 s->s_xattr (-1),16
DATA_SOURCE 0 s $0
STR_LEN 0 s (-1),8
STR_LEN 0 s (-1),8
STR_LEN 0 s->s_id (-1),31
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0,2097152-u64max[c]
USER_DATA 0 s->s_root->__d_name.hash 0-u32max[c]
USER_DATA 0 s->s_root->d_parent->__d_name.hash 0-u32max[c]
USER_DATA 0 s->s_root->d_sb->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
NO_OVERFLOW_SIMPLE 0 s->s_root->d_inode->i_blkbits
NO_OVERFLOW_SIMPLE 0 s->s_root->d_inode->i_size
USER_PTR 0 s->s_root->__d_name.name
HALF_LOCKED2 &s->s_umount
HALF_LOCKED2 global &cifs_mount_mutex

fs/nfs/fscache.c nfs_netfs_init_request() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &inode->i_rwsem

fs/nfs/direct.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/symlink.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/flexfilelayout/flexfilelayout.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/file.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/flexfilelayout/flexfilelayoutdev.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs42proc.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/pagelist.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/filelayout/filelayoutdev.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs4file.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs4file.c __nfs42_ssc_open() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs40proc.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/blocklayout/extent_tree.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/dir.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/dir.c nfs_add_or_obtain() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock

fs/nfs/dir.c nfs_prime_dcache() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir_fp->readdir_lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct inode)->i_rwsem

fs/nfs/dir.c nfs_rename_is_unsafe_cross_dir() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/nfs/read.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs4namespace.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/export.c nfs_fh_to_dentry() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

fs/nfs/export.c nfs_fh_to_dentry() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

fs/nfs/export.c nfs_fh_to_dentry() -> NFS_SB()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
DATA_SOURCE 0 s $0
RX_PATH
TASK_NOT_RUNNING

fs/nfs/export.c nfs_get_parent() -> NFS_SB()

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

fs/nfs/nfs4xdr.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs4proc.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs4proc.c nfs4_open_recover_helper() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &sp->so_delegreturn_mutex

fs/nfs/nfs4proc.c nfs4_proc_rename_setup() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &new_dentry->d_lockref.lock
HALF_LOCKED2 &target->i_rwsem
HALF_LOCKED2 0 &s->s_vfs_rename_mutex

fs/nfs/nfs4proc.c nfs4_proc_unlink_rpc_prepare() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &pool->lock

fs/nfs/nfs4proc.c nfs4_proc_unlink_setup() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dentry->d_parent->d_lockref.lock
HALF_LOCKED2 &dentry->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &inode->i_lock

fs/nfs/nfs4proc.c nfs4_xattr_list_nfs4_acl() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &c->xattr_sem

fs/nfs/nfs4proc.c nfs4_xattr_list_nfs4_dacl() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &c->xattr_sem

fs/nfs/nfs4proc.c nfs4_xattr_list_nfs4_sacl() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
HALF_LOCKED2 &c->xattr_sem

fs/nfs/nfs4proc.c nfs_lookup_is_soft_revalidate() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir->i_rwsem

fs/nfs/write.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs3acl.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/proc.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/proc.c nfs_lookup_is_soft_revalidate() -> NFS_SB()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 s->s_flags 0-u64max[c]
NO_OVERFLOW_SIMPLE 0 s->s_blocksize
NO_OVERFLOW_SIMPLE 0 s->s_blocksize_bits
UNITS 0 s unit_byte
HALF_LOCKED2 &dentry->d_lockref.lock

fs/nfs/pnfs.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/nfs4state.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/filelayout/filelayout.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/unlink.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte

fs/nfs/localio.c NFS_SERVER() -> NFS_SB()

Type Parameter Key Value
UNITS 0 s unit_byte