Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/hpfs/dnode.c hpfs_add_to_dnode() -> copy_de()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
BUF_SIZE 1 src (-1)-u16max
BUF_SIZE 1 src (-1)-u16max
DATA_SOURCE 1 src $4 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> copy_de()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
BUF_SIZE 1 src (-1)-u16max
BUF_SIZE 1 src (-1)-u16max
DATA_SOURCE 1 src $4 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> copy_de()

Type Parameter Key Value
PARAM_VALUE 0 dst 0,4096-ptr_max
PARAM_VALUE 0 dst->last 0
PARAM_VALUE 0 dst->name 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->name 0
BUF_SIZE 0 dst (-1),2028
BUF_SIZE 1 src (-1),2028
BUF_SIZE 1 src (-1),2028
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/dnode.c hpfs_add_to_dnode() -> copy_de()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->name 0
BUF_SIZE 1 src (-1),2028
BUF_SIZE 1 src (-1),2028
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sbi->hpfs_mutex

fs/hpfs/namei.c hpfs_rename() -> copy_de()

Type Parameter Key Value
PARAM_VALUE 0 dst 1050126037468123136
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->last 0
BUF_SIZE 1 src (-1),2028
BUF_SIZE 1 src (-1),2028
CAPPED_DATA 1 src 1
CAPPED_DATA 1 src->namelen 1
DATA_SOURCE 1 src r map_dirent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem

fs/hpfs/namei.c hpfs_rename() -> copy_de()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 0 dst->last 0
PARAM_VALUE 1 src 1050126037468123136
BUF_SIZE 0 dst (-1),2028
BUF_SIZE 0 dst (-1),2028
CAPPED_DATA 0 dst 1
CAPPED_DATA 0 dst->namelen 1
DATA_SOURCE 0 dst r map_dirent
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sbi->hpfs_mutex
HALF_LOCKED2 &source->i_rwsem
HALF_LOCKED2 &target->i_rwsem