Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/lockd/clntproc.c nlmclnt_lock() -> nlmclnt_wait()

Type Parameter Key Value
PARAM_VALUE 0 block 7923992509259194368
PARAM_VALUE 0 block->b_host 4096-ptr_max
PARAM_VALUE 0 block->b_list.next 4096-ptr_max
PARAM_VALUE 0 block->b_list.prev 2807794748670816256,7923992509259194368,16045481047390945570
PARAM_VALUE 0 block->b_lock 4096-ptr_max
PARAM_VALUE 0 block->b_status 3
PARAM_VALUE 1 req 4096-ptr_max
PARAM_VALUE 1 req->a_args.block 0-1
PARAM_VALUE 1 req->a_args.cookie->data 0-255
PARAM_VALUE 1 req->a_args.cookie.len 4
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_blocker 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_file 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_flags 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_link.next 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_link.pprev 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_link_cpu 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_owner 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_pid 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_type 0
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 req->a_args.lock.fl.c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 req->a_args.lock.fl.fl_end 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_lmops 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_ops 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_start 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_u.afs.debug_id 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_u.afs.link.next 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_u.afs.link.prev 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_u.afs.state 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_u.ceph.inode 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_u.nfs4_fl.owner 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_u.nfs_fl.owner 0
PARAM_VALUE 1 req->a_args.lock.fl.fl_u.nfs_fl.state 0
PARAM_VALUE 1 req->a_args.lock.oh.len 66-75
PARAM_VALUE 1 req->a_args.state 0
PARAM_VALUE 1 req->a_callback_data 0,4096-ptr_max
PARAM_VALUE 1 req->a_count.refs.counter 1
PARAM_VALUE 1 req->a_host 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_mutex.dep_map->name 0-255
PARAM_VALUE 1 req->a_host->h_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 1 req->a_host->h_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 req->a_host->h_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 req->a_host->h_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 1 req->a_host->h_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 req->a_host->h_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 req->a_host->h_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 req->a_host->h_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 req->a_host->h_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 1 req->a_host->h_nsmhandle 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_nsmhandle->sm_monitored 1
PARAM_VALUE 1 req->a_host->h_rpcclnt 1-u64max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_auth 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_auth->au_ops->ping 0,8859700910737862656
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_clid 0-s32max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_clients.next 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_clients.next->prev 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_clients.prev 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_count.refs.counter 1
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs 4096-u64max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_parent->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_parent->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_parent->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_parent->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_parent->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_debugfs->d_sb->__s_d_op->d_weak_revalidate 0,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_maxproc 2-4,8,16,18,22,71
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_metrics 16,4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_parent 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_parent->cl_parent 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_pipedir_objects.pdh_dentry->d_children.first 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_pipedir_objects.pdh_dentry->d_sb 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_pipedir_objects.pdh_dentry->d_sb->s_fs_info->s_mode 0-u16max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_pipedir_objects.pdh_entries.next 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_pipedir_objects.pdh_entries.next->next 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_pipedir_objects.pdh_entries.prev->next 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_pipedir_objects.pdh_entries.prev->prev 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_procinfo 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_program 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_program->nrvers 0,2,4-5
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_program->number 0,100000,100003,100005,100021,100024,100227,400112,400122,1073741824
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_program->version 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_rtt 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_rtt_default->sdrtt 50
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_rtt_default->srtt 0,8-9223372036854775807
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_tasks.next 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_tasks.next->next 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_tasks.prev 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_tasks.prev->next 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_tasks.prev->prev 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_timeout 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_vers 1-4
PARAM_VALUE 1 req->a_host->h_rpcclnt->cl_xprt 4096-ptr_max
PARAM_VALUE 1 req->a_host->h_rpcclnt->pipefs_sb 1-u64max
PARAM_VALUE 1 req->a_host->h_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 req->a_host->h_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_blocker 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_file 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_flags 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_link.next 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_link.pprev 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_link_cpu 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_owner 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_pid 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_type 0
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 req->a_res.lock.fl.c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 req->a_res.lock.fl.fl_end 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_lmops 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_ops 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_start 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_u.afs.debug_id 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_u.afs.link.next 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_u.afs.link.prev 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_u.afs.state 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_u.ceph.inode 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_u.nfs4_fl.owner 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_u.nfs_fl.owner 0
PARAM_VALUE 1 req->a_res.lock.fl.fl_u.nfs_fl.state 0
PARAM_VALUE 1 req->a_res.status 3
PARAM_VALUE 1 *req->a_owner 0-255
PARAM_VALUE 2 timeout 7500
BUF_SIZE 1 req 1088
DATA_SOURCE 1 req $0
FUZZY_MAX 1 req->a_args.block 1
HARD_MAX 1 req->a_args.block 1
RX_PATH
TASK_NOT_RUNNING