Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/remap_range.c __generic_remap_file_range_prep() -> generic_remap_checks()

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_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 file_in->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 file_in->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1640,1808,1816,2632,2640,2648,2704,2712
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 2 file_out->f_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 file_out->f_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 file_out->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs 1632,1720,1808,2632,2648
PARAM_VALUE 3 pos_out 0-s64max
PARAM_VALUE 4 req_count 4096-ptr_max
PARAM_VALUE 4 *req_count 1-s64max
PARAM_VALUE 5 remap_flags 0-2
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 req_count $4
DATA_SOURCE 5 remap_flags $5
NOSPEC 1 pos_in
NOSPEC 1 pos_in
NOSPEC 3 pos_out
NOSPEC 3 pos_out
NOSPEC 4 *req_count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pos_in 0-s64max[c]
USER_DATA 3 pos_out 0-s64max[c]
USER_DATA 4 *req_count 1-s64max[c]
NO_OVERFLOW_SIMPLE 0 file_in->f_path.d_inode->i_size
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.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
UNITS 1 pos_in unit_byte
UNITS 3 pos_out unit_byte
USER_PTR 4 req_count