Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/lockd/svclock.c nlmsvc_create_block() -> nlmsvc_setgrantargs()

Type Parameter Key Value
PARAM_VALUE 0 call 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_member.next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_member.next->next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_member.prev 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_member.prev->next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_member.prev->prev 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_requests.next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_requests.next->next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_requests.prev 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_requests.prev->next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocked_requests.prev->prev 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_blocker 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_file 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_flags 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_link.next 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_link.pprev 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_link_cpu 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_list.next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_list.next->next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_list.prev 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_owner 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_pid 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_type 0
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 call->a_args.lock.fl.fl_end 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_lmops 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_ops 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_start 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.afs.debug_id 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.afs.link.next 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.afs.link.prev 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.afs.state 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.ceph.inode 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.nfs4_fl.owner 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.nfs_fl.list.next 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.nfs_fl.list.prev 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.nfs_fl.owner 0
PARAM_VALUE 0 call->a_args.lock.fl.fl_u.nfs_fl.state 0
PARAM_VALUE 0 call->a_count.refs.counter 1
PARAM_VALUE 0 call->a_host 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_member.next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_member.next->next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_member.prev 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_member.prev->next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_member.prev->prev 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_requests.next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_requests.next->next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_requests.prev 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_requests.prev->next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocked_requests.prev->prev 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_blocker 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_file 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_flags 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_link.next 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_link.pprev 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_link_cpu 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_list.next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_list.next->next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_list.prev 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_owner 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_pid 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_type 0
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 call->a_res.lock.fl.fl_end 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_lmops 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_ops 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_start 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_u.afs.debug_id 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_u.afs.link.next 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_u.afs.link.prev 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_u.afs.state 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_u.ceph.inode 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_u.nfs4_fl.owner 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_u.nfs_fl.owner 0
PARAM_VALUE 0 call->a_res.lock.fl.fl_u.nfs_fl.state 0
PARAM_VALUE 1 lock 4096-ptr_max
PARAM_VALUE 1 lock->fh.size 0-128
PARAM_VALUE 1 lock->fl.c.flc_flags 1
PARAM_VALUE 1 lock->fl.c.flc_owner 4096-ptr_max
PARAM_VALUE 1 lock->fl.c.flc_type 0-2
PARAM_VALUE 1 lock->fl.c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 1 lock->fl.c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 lock->fl.fl_end 0-s64max
PARAM_VALUE 1 lock->fl.fl_lmops 1215548555208249344
PARAM_VALUE 1 lock->fl.fl_ops 0
PARAM_VALUE 1 lock->fl.fl_start 0-s64max
PARAM_VALUE 1 lock->fl.fl_u.afs.link.next 0
PARAM_VALUE 1 lock->fl.fl_u.nfs_fl.owner 0
PARAM_VALUE 1 lock->lock_start 0-9223372036854775807
BUF_SIZE 0 call 1088
CAPPED_DATA 1 lock->fl.c.flc_owner 1
CAPPED_DATA 1 lock->fl.c.flc_type 1
CAPPED_DATA 1 lock->fl.fl_end 1
CAPPED_DATA 1 lock->fl.fl_start 1
DATA_SOURCE 0 call r nlm_alloc_call
DATA_SOURCE 1 lock $3
LOCK2 &file->f_mutex
TYPE_LOCK (struct nlm_file)->f_mutex