Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/vboxsf/vboxsf_wrappers.c vboxsf_create() -> shfl_string_buf_size()

Type Parameter Key Value
PARAM_VALUE 0 string 4096-ptr_max
BUF_SIZE 0 string (-1),4096
BUF_SIZE 0 string (-1),4096
CAPPED_DATA 0 string->length 1
CAPPED_DATA 0 string->size 1
DATA_SOURCE 0 string $1
RX_PATH
TASK_NOT_RUNNING

fs/vboxsf/vboxsf_wrappers.c vboxsf_dirinfo() -> shfl_string_buf_size()

Type Parameter Key Value
DATA_SOURCE 0 string $2
RX_PATH
TASK_NOT_RUNNING

fs/vboxsf/vboxsf_wrappers.c vboxsf_map_folder() -> shfl_string_buf_size()

Type Parameter Key Value
PARAM_VALUE 0 string 4096-ptr_max
DATA_SOURCE 0 string $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &fc->uapi_mutex
HALF_LOCKED2 &sb->s_umount

fs/vboxsf/vboxsf_wrappers.c vboxsf_readlink() -> shfl_string_buf_size()

Type Parameter Key Value
PARAM_VALUE 0 string 4096-ptr_max
BUF_SIZE 0 string 4096
BUF_SIZE 0 string 4096
CAPPED_DATA 0 string->length 1
CAPPED_DATA 0 string->size 1
DATA_SOURCE 0 string $1
RX_PATH
TASK_NOT_RUNNING

fs/vboxsf/vboxsf_wrappers.c vboxsf_remove() -> shfl_string_buf_size()

Type Parameter Key Value
PARAM_VALUE 0 string 4096-ptr_max
BUF_SIZE 0 string 4096
BUF_SIZE 0 string 4096
CAPPED_DATA 0 string->length 1
CAPPED_DATA 0 string->size 1
DATA_SOURCE 0 string $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &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 &parent->i_rwsem
HALF_LOCKED2 &target->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/vboxsf/vboxsf_wrappers.c vboxsf_rename() -> shfl_string_buf_size()

Type Parameter Key Value
PARAM_VALUE 0 string 4096-ptr_max
BUF_SIZE 0 string 4096
BUF_SIZE 0 string 4096
CAPPED_DATA 0 string->length 1
CAPPED_DATA 0 string->size 1
DATA_SOURCE 0 string $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/vboxsf/vboxsf_wrappers.c vboxsf_rename() -> shfl_string_buf_size()

Type Parameter Key Value
PARAM_VALUE 0 string 4096-ptr_max
BUF_SIZE 0 string 4096
BUF_SIZE 0 string 4096
CAPPED_DATA 0 string->length 1
CAPPED_DATA 0 string->size 1
DATA_SOURCE 0 string $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/vboxsf/vboxsf_wrappers.c vboxsf_symlink() -> shfl_string_buf_size()

Type Parameter Key Value
PARAM_VALUE 0 string 4096-ptr_max
BUF_SIZE 0 string 4096
BUF_SIZE 0 string 4096
CAPPED_DATA 0 string->length 1
CAPPED_DATA 0 string->size 1
DATA_SOURCE 0 string $1
RX_PATH
TASK_NOT_RUNNING

fs/vboxsf/vboxsf_wrappers.c vboxsf_symlink() -> shfl_string_buf_size()

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