Open Menu /

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

fs/fat/dir.c fat_alloc_new_dir() -> fat_set_start()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
PARAM_VALUE 1 cluster s32min-(-2),0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/fat/dir.c fat_alloc_new_dir() -> fat_set_start()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &dentry->d_lockref.lock

fs/fat/inode.c __fat_write_inode() -> fat_set_start()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
NOSPEC 0 de->size
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 de->size 0-u32max
LOCK2 &sbi->inode_hash_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct msdos_sb_info)->inode_hash_lock

fs/fat/namei_vfat.c vfat_build_slots() -> fat_set_start()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
PARAM_VALUE 1 cluster 0-s32max
BUF_SIZE 0 de (-1),672
BUF_SIZE 0 de (-1),672
DATA_SOURCE 1 cluster $4
BIT_INFO 0 de->attr 0x0,0x30
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/fat/namei_vfat.c vfat_update_dotdot_de() -> fat_set_start()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
DATA_SOURCE 0 de $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/fat/namei_msdos.c do_msdos_rename() -> fat_set_start()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/fat/namei_msdos.c do_msdos_rename() -> fat_set_start()

Type Parameter Key Value
PARAM_VALUE 0 de 4096-ptr_max
PARAM_VALUE 0 de->starthi 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/fat/namei_msdos.c msdos_add_entry() -> fat_set_start()

Type Parameter Key Value
PARAM_VALUE 0 de 1086621368451936256
PARAM_VALUE 1 cluster 0-s32max
DATA_SOURCE 1 cluster $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL