Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/nfs42proc.c handle_async_copy() -> nfs42_do_offload_cancel_async()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_inode->i_io_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_io_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_io_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_mapping->nrpages | 0-1 |
| PARAM_VALUE | 0 | dst->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dst->f_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dst->f_inode->i_wb->dwork->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dst->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dst->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dst->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_op->copy_file_range | 1-u64max |
| PARAM_VALUE | 1 | stateid | 4096-ptr_max |
| BUF_SIZE | 0 | dst | s32min,(-1),1-s32max |
| BUF_SIZE | 0 | dst | s32min,(-1),1-s32max |
| CAPPED_DATA | 0 | dst->f_inode | 1 |
| CAPPED_DATA | 0 | dst->f_op->copy_file_range | 1 |
| DATA_SOURCE | 0 | dst | $4 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dst->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | dst->f_path.moved->d_inode->i_size | |
| HALF_LOCKED2 | &inode_out->i_rwsem |
fs/nfs/nfs42proc.c handle_async_copy() -> nfs42_do_offload_cancel_async()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dst->f_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_io_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_io_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_io_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_wb->dwork->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_wb->dwork.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dst->f_op | 5060575438722711552 |
| PARAM_VALUE | 0 | dst->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 1 | stateid | 7826413353105403928 |
| BUF_SIZE | 0 | dst | s32min,(-1),1-s32max |
| BUF_SIZE | 0 | dst | s32min,(-1),1-s32max |
| CAPPED_DATA | 0 | dst->f_inode | 1 |
| CAPPED_DATA | 0 | dst->f_inode->i_size | 1 |
| DATA_SOURCE | 0 | dst | $3 |
| DATA_SOURCE | 1 | stateid | $5 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dst->f_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | dst->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | dst->f_path.moved->d_inode->i_size | |
| HALF_LOCKED2 | &inode_out->i_rwsem |
fs/nfs/nfs42proc.c nfs42_proc_copy() -> nfs42_do_offload_cancel_async()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | dst->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dst->f_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_io_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_io_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_io_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_wb->dwork->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_wb->dwork.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dst->f_mapping->host->i_wb->work_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dst->f_op | 5060575438722711552 |
| PARAM_VALUE | 0 | dst->f_path.dentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1640,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 1 | stateid | 7826413353105403928 |
| BUF_SIZE | 0 | dst | s32min,(-1),1-s32max |
| BUF_SIZE | 0 | dst | s32min,(-1),1-s32max |
| CAPPED_DATA | 0 | dst->f_inode | 1 |
| CAPPED_DATA | 0 | dst->f_inode->i_size | 1 |
| DATA_SOURCE | 0 | dst | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | dst->f_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | dst->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | dst->f_path.moved->d_inode->i_size | |
| HALF_LOCKED2 | &pool->lock |