Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/xfs/xfs_reflink.c xfs_reflink_remap_prep() -> dax_remap_file_range_prep()

Type Parameter Key Value
PARAM_VALUE 0 file_in 4096-ptr_max
PARAM_VALUE 0 file_in->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file_in->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file_in->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 file_in->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 file_in->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file_in->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file_in->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 file_in->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 file_in->f_path.dentry->d_inode->i_mapping->host->i_sb->s_export_op->encode_fh 0,2,4096-ptr_max
PARAM_VALUE 0 file_in->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 file_in->f_path.dentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 file_in->f_path.dentry->d_inode->i_sb->s_cop->empty_dir 0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE 0 file_in->f_path.dentry->d_inode->i_sb->s_cop->get_context 0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE 0 file_in->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648,2712
PARAM_VALUE 0 file_in->f_path.dentry->d_inode->i_sb->s_cop->set_context 0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE 1 pos_in 0-s64max
PARAM_VALUE 2 file_out 4096-ptr_max
PARAM_VALUE 2 file_out->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 file_out->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 file_out->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 2 file_out->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 2 file_out->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 file_out->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 file_out->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 2 file_out->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 3 pos_out 0-s64max
PARAM_VALUE 4 *len 0-s64max
PARAM_VALUE 5 remap_flags 0-2
PARAM_VALUE 6 ops 261349953401536512
BUF_SIZE 0 file_in s32min,(-1),1-s32max
BUF_SIZE 0 file_in s32min,(-1),1-s32max
BUF_SIZE 2 file_out s32min,(-1),1-s32max
BUF_SIZE 2 file_out s32min,(-1),1-s32max
CAPPED_DATA 1 pos_in 1
CAPPED_DATA 1 pos_in 1
CAPPED_DATA 3 pos_out 1
CAPPED_DATA 3 pos_out 1
DATA_SOURCE 0 file_in $0
DATA_SOURCE 1 pos_in $1
DATA_SOURCE 2 file_out $2
DATA_SOURCE 3 pos_out $3
DATA_SOURCE 4 len $4
DATA_SOURCE 5 remap_flags $5
NOSPEC 1 pos_in
NOSPEC 1 pos_in
NOSPEC 3 pos_out
NOSPEC 3 pos_out
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pos_in 0-s64max[c]
USER_DATA 3 pos_out 0-s64max[c]
USER_DATA 4 *len 0-s64max[c]
NO_OVERFLOW_SIMPLE 0 file_in->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file_in->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 2 file_out->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 2 file_out->f_path.moved->d_inode->i_size
USER_PTR 4 len