Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfs/nfs4proc.c nfs4_opendata_find_nfs4_state() -> nfs4_opendata_get_inode()

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