Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 9 files:

Smatch caller information:

drivers/block/zloop.c zloop_finish_zone() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 1 length s64min-(-512),0,512-s64max
BIT_INFO 1 length 0x0,0xfffffffffffffe00
LOCK2 &zone->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zloop_zone)->lock

drivers/block/zloop.c zloop_forget_cache() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->dentry 4096-ptr_max
PARAM_VALUE 0 path->mnt 4096-ptr_max
PARAM_VALUE 1 length s64min-(-512),0,512-s64max
BIT_INFO 1 length 0x0,0xfffffffffffffe00
NOCHECK_CALL

drivers/block/zloop.c zloop_init_zone() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->dentry 4096-ptr_max
PARAM_VALUE 1 length 1048576-17179869184
CAPPED_DATA 1 length 1
BIT_INFO 1 length 0x0,0x7fffffe00

drivers/block/zloop.c zloop_reset_zone() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 1 length 0
LOCK2 &zone->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct zloop_zone)->lock

fs/cachefiles/interface.c cachefiles_shorten_object() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
CAPPED_DATA 1 length 1
CAPPED_DATA 1 length 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 length (-9223372036854771712)-(-1)
HALF_LOCKED2 &ci->i_truncate_mutex
HALF_LOCKED2 &inode->i_mapping->invalidate_lock
HALF_LOCKED2 &inode->i_rwsem

fs/cachefiles/namei.c cachefiles_create_tmpfile() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 1 length s64min-(-1),1-s64max
LOCK2 &pool->lock

init/initramfs.c do_name() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 0 path->dentry 4096-ptr_max
PARAM_VALUE 0 path->mnt 4096-ptr_max
PARAM_VALUE 1 length 1-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/smb/server/smb2pdu.c smb2_create_truncate() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 1 length 0
DATA_SOURCE 0 path $0

fs/smb/server/vfs.c ksmbd_vfs_truncate() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
DATA_SOURCE 1 length $2
LOCK2 &pool->lock

security/keys/big_key.c big_key_revoke() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 4096-ptr_max
PARAM_VALUE 1 length 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &key->sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &afs_key_lock
TYPE_LOCK (struct key)->sem

fs/open.c ksys_truncate() -> vfs_truncate()

Type Parameter Key Value
PARAM_VALUE 0 path 5369720006917914624
PARAM_VALUE 1 length 0-s64max
DATA_SOURCE 1 length $1
FUZZY_MAX 1 length 0
USER_DATA 1 length 0-s64max