Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4proc.c _nfs4_opendata_reclaim_to_nfs4_state() -> nfs4_try_open_cached()

Type Parameter Key Value
PARAM_VALUE 0 opendata 4096-ptr_max
PARAM_VALUE 0 opendata->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 opendata->dentry->d_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 opendata->o_arg.claim 1
PARAM_VALUE 0 opendata->o_arg.u.verifier.data 0-u32max
PARAM_VALUE 0 opendata->o_res.seq_res.sr_slot_ops->done 0,6816862077787136000,7810553299938279424
PARAM_VALUE 0 opendata->o_res.seq_res.sr_slot_ops->free_slot 0,5997148140414332928,8851380967264305152
PARAM_VALUE 0 opendata->o_res.seq_res.sr_slot_ops->process 0,5343676044341161984,6816862077787136000
PARAM_VALUE 0 opendata->rpc_done 0
PARAM_VALUE 0 opendata->rpc_status 0
PARAM_VALUE 0 opendata->state 4096-ptr_max
PARAM_VALUE 0 opendata->state->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 opendata->state->inode->i_sb->s_umount.first_waiter->type 0-1
BUF_SIZE 0 opendata (-1)-s32max
BUF_SIZE 0 opendata (-1)-s32max
DATA_SOURCE 0 opendata $0
RX_PATH
TASK_NOT_RUNNING

fs/nfs/nfs4proc.c _nfs4_opendata_to_nfs4_state() -> nfs4_try_open_cached()

Type Parameter Key Value
PARAM_VALUE 0 opendata 4096-ptr_max
PARAM_VALUE 0 opendata->dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 opendata->dentry->d_inode->i_sb->s_umount.first_waiter->type 0-1
PARAM_VALUE 0 opendata->o_arg.u.verifier.data 0-u32max
PARAM_VALUE 0 opendata->o_res.seq_res.sr_slot_ops->done 0,6816862077787136000,7810553299938279424
PARAM_VALUE 0 opendata->o_res.seq_res.sr_slot_ops->free_slot 0,5997148140414332928,8851380967264305152
PARAM_VALUE 0 opendata->o_res.seq_res.sr_slot_ops->process 0,5343676044341161984,6816862077787136000
PARAM_VALUE 0 opendata->rpc_done 0
PARAM_VALUE 0 opendata->state->inode->i_sb->s_umount.first_waiter->handoff_set 0-1
PARAM_VALUE 0 opendata->state->inode->i_sb->s_umount.first_waiter->type 0-1
BUF_SIZE 0 opendata (-1)-s32max
BUF_SIZE 0 opendata (-1)-s32max
DATA_SOURCE 0 opendata $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 opendata->dentry->__d_name.hash 0-u32max[c]
USER_DATA 0 opendata->dir->__d_name.hash 0-u32max[c]
USER_DATA 0 opendata->lgp->args.minlength 0[c]
USER_DATA 0 opendata->lgp->args.range.length u64max[c]
USER_DATA 0 opendata->lgp->args.range.offset 0-9223372036854775807[c]
USER_DATA 0 opendata->o_arg.lg_args->minlength 0[c]
USER_DATA 0 opendata->o_arg.lg_args->range.length u64max[c]
USER_DATA 0 opendata->o_arg.lg_args->range.offset 0-9223372036854775807[c]
USER_DATA 0 *opendata->dentry->__d_name.name 0-255
NO_OVERFLOW_SIMPLE 0 opendata->state->inode->i_size
USER_PTR 0 opendata->dentry->__d_name.name