Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/pnfs.c _lgopen_prepare_attached() -> pnfs_alloc_init_layoutget_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ino | 4096-ptr_max |
| PARAM_VALUE | 0 | ino->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ino->i_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | ino->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cred->non_rcu | 0 |
| PARAM_VALUE | 1 | ctx->dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_sb->s_fs_info->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ctx->state->inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ctx->state->inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | *ctx->dentry->d_parent->d_alias.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | *ctx->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *ctx->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | stateid | 4528443245496000512 |
| PARAM_VALUE | 3 | range | 4996103517327077376 |
| PARAM_VALUE | 3 | range->iomode | 1-2 |
| PARAM_VALUE | 3 | range->length | u64max |
| PARAM_VALUE | 3 | range->offset | 0 |
| PARAM_VALUE | 4 | gfp_flags | 3072,3136,3264,76992 |
| BUF_SIZE | 1 | ctx->flock_owner | (-1),1-s32max |
| DATA_SOURCE | 1 | ctx | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | ctx->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | ctx->dentry->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | ctx->lock_context.open_context->mode | 0-3,32-35[c] |
| USER_DATA | 1 | ctx->mode | 0-3,32-35[c] |
| USER_DATA | 1 | *ctx->dentry->__d_name.name | 0-255 |
| USER_DATA | 1 | *ctx->dentry->d_parent->__d_name.name | 0-255 |
| USER_PTR | 1 | ctx->dentry->__d_name.name |
fs/nfs/pnfs.c _lgopen_prepare_floating() -> pnfs_alloc_init_layoutget_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->cred->non_rcu | 0 |
| PARAM_VALUE | 1 | ctx->dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->dentry->d_sb->s_fs_info->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ctx->state->inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | ctx->state->inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | ctx->state->inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | *ctx->dentry->d_parent->d_alias.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | *ctx->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | *ctx->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | stateid | 4528443245496000512 |
| PARAM_VALUE | 3 | range | 4581307140236300288 |
| PARAM_VALUE | 3 | range->iomode | 1-2 |
| PARAM_VALUE | 3 | range->length | u64max |
| PARAM_VALUE | 3 | range->offset | 0 |
| PARAM_VALUE | 4 | gfp_flags | 3072,3136,3264,76992 |
| BUF_SIZE | 1 | ctx->flock_owner | (-1),1-s32max |
| DATA_SOURCE | 1 | ctx | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | ctx->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | ctx->dentry->d_parent->__d_name.hash | 0-u32max[c] |
| USER_DATA | 1 | ctx->lock_context.open_context->mode | 0-3,32-35[c] |
| USER_DATA | 1 | ctx->mode | 0-3,32-35[c] |
| USER_DATA | 1 | *ctx->dentry->__d_name.name | 0-255 |
| USER_DATA | 1 | *ctx->dentry->d_parent->__d_name.name | 0-255 |
| USER_PTR | 1 | ctx->dentry->__d_name.name |
fs/nfs/pnfs.c pnfs_update_layout() -> pnfs_alloc_init_layoutget_args()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ino | 4096-ptr_max |
| PARAM_VALUE | 0 | ino->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ino->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ino->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ino->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ino->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ino->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ino->i_wb->dwork.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | ino->i_wb->dwork.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | ino->i_wb->dwork.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->mdsthreshold | 0,4096-ptr_max |
| PARAM_VALUE | 1 | ctx->state | 4096-ptr_max |
| PARAM_VALUE | 2 | stateid | 3918562915726958592 |
| PARAM_VALUE | 3 | range | 2354166700321906688 |
| PARAM_VALUE | 3 | range->iomode | 1-2 |
| PARAM_VALUE | 3 | range->length | 0,4096-u64max |
| PARAM_VALUE | 4 | gfp_flags | 3072,3136,3264,76992 |
| DATA_SOURCE | 0 | ino | $0 |
| DATA_SOURCE | 1 | ctx | $1 |
| DATA_SOURCE | 4 | gfp_flags | $6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | range->length | 0,4096-u64max[c] |
| USER_DATA | 3 | range->offset | 0-9223372036854775807[c] |
| NO_OVERFLOW_SIMPLE | 0 | ino->i_size |