Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/coda/inode.c coda_put_super() -> coda_vcp()

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

fs/coda/upcall.c venus_access() -> coda_vcp()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize
NO_OVERFLOW_SIMPLE 0 sb->s_blocksize_bits
UNITS 0 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &cgroup_mutex

fs/coda/upcall.c venus_access_intent() -> coda_vcp()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/coda/upcall.c venus_close() -> coda_vcp()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/coda/upcall.c venus_create() -> coda_vcp()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &dir->i_rwsem

fs/coda/upcall.c venus_fsync() -> coda_vcp()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
LOCK2 &coda_inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/coda/upcall.c venus_getattr() -> coda_vcp()

Type Parameter Key Value
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_op (-1),224
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 1024-2147487743[c]
UNITS 0 sb unit_byte
HALF_LOCKED2 0 &sb->s_umount

fs/coda/upcall.c venus_link() -> coda_vcp()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
CAPPED_DATA 0 sb 1
CAPPED_DATA 0 sb->s_user_ns->gid_map.nr_extents 1
CAPPED_DATA 0 sb->s_user_ns->uid_map.nr_extents 1
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/coda/upcall.c venus_lookup() -> coda_vcp()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &dir->i_rwsem

fs/coda/upcall.c venus_mkdir() -> coda_vcp()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
CAPPED_DATA 0 sb->s_user_ns->gid_map.nr_extents 1
CAPPED_DATA 0 sb->s_user_ns->uid_map.nr_extents 1
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &de->d_lockref.lock

fs/coda/upcall.c venus_open() -> coda_vcp()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte

fs/coda/upcall.c venus_pioctl() -> coda_vcp()

Type Parameter Key Value
CAPPED_DATA 0 sb 1
DATA_SOURCE 0 sb $0
UNITS 0 sb unit_byte

fs/coda/upcall.c venus_readlink() -> coda_vcp()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &mapping->invalidate_lock

fs/coda/upcall.c venus_remove() -> coda_vcp()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
LOCK2 &target->i_rwsem
HALF_LOCKED2 &de->d_lockref.lock
HALF_LOCKED2 &de->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/coda/upcall.c venus_rename() -> coda_vcp()

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

fs/coda/upcall.c venus_rmdir() -> coda_vcp()

Type Parameter Key Value
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
LOCK2 &de->d_inode->i_rwsem
HALF_LOCKED2 &de->d_lockref.lock
HALF_LOCKED2 &de->d_sb->s_vfs_rename_mutex
HALF_LOCKED2 &dentry->d_inode->i_rwsem
HALF_LOCKED2 &dir->d_inode->i_rwsem
HALF_LOCKED2 &dir->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/coda/upcall.c venus_rootfid() -> coda_vcp()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
PARAM_VALUE 0 sb->s_fs_info 4096-ptr_max
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb (-1),2880
BUF_SIZE 0 sb->s_op 224
DATA_SOURCE 0 sb $0
STR_LEN 0 sb (-1),8
STR_LEN 0 sb (-1),8
BIT_INFO 0 sb->s_flags 0x400,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 sb->s_flags 1024-2147487743[c]
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 0 &sb->s_umount

fs/coda/upcall.c venus_setattr() -> coda_vcp()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
CAPPED_DATA 0 sb->s_time_max 1
DATA_SOURCE 0 sb $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte
HALF_LOCKED2 &de->d_inode->i_rwsem
HALF_LOCKED2 &de->d_lockref.lock
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &pool->lock

fs/coda/upcall.c venus_statfs() -> coda_vcp()

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

fs/coda/upcall.c venus_symlink() -> coda_vcp()

Type Parameter Key Value
PARAM_VALUE 0 sb 4096-ptr_max
CAPPED_DATA 0 sb->s_user_ns->gid_map.nr_extents 1
CAPPED_DATA 0 sb->s_user_ns->uid_map.nr_extents 1
DATA_SOURCE 0 sb $0
STR_LEN 0 sb 0-1024
STR_LEN 0 sb 0-1024
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sb unit_byte