Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/lockd/svc4proc.c nlm4svc_callback() -> nlm_async_reply()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocker 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_file 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_flags 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_link.next 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_link.pprev 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_link_cpu 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_owner 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_pid 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_type 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.fl_end 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_lmops 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_ops 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_start 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.afs.debug_id 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.afs.link.next 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.afs.link.prev 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.afs.state 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.ceph.inode 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.nfs4_fl.owner 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.nfs_fl.owner 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.nfs_fl.state 0
PARAM_VALUE 0 req->a_count.refs.counter 1
PARAM_VALUE 0 req->a_flags 1
PARAM_VALUE 0 req->a_host 4096-ptr_max
PARAM_VALUE 0 req->a_res.cookie->data 0-255
PARAM_VALUE 0 req->a_res.cookie.len 0-32
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_member.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_member.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_member.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_requests.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_requests.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_requests.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_list.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_expire_lock 0,8135569178967285760
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_get_owner 601293288964460544,779917719904358400
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_grant 0,6755173835644108800
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_lock_expirable 0,6876519118932000768
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_notify 7826183627361755136,8433928438555447296
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_put_owner 2080181080880410624,4520729263436308480
PARAM_VALUE 0 req->a_res.status 0-5,7-9
PARAM_VALUE 1 proc 11-15
PARAM_VALUE 2 tk_ops 5065387593605042176
BUF_SIZE 0 req 1088
DATA_SOURCE 0 req r nlm_alloc_call
DATA_SOURCE 1 proc $2
HARD_MAX 1 proc 15

fs/lockd/svcproc.c nlmsvc_callback() -> nlm_async_reply()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_member.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocked_requests.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_blocker 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_file 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_flags 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_link.next 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_link.pprev 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_link_cpu 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_owner 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_pid 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_type 0
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_args.lock.fl.fl_end 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_lmops 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_ops 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_start 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.afs.debug_id 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.afs.link.next 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.afs.link.prev 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.afs.state 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.ceph.inode 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.nfs4_fl.owner 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.nfs_fl.owner 0
PARAM_VALUE 0 req->a_args.lock.fl.fl_u.nfs_fl.state 0
PARAM_VALUE 0 req->a_count.refs.counter 1
PARAM_VALUE 0 req->a_flags 1
PARAM_VALUE 0 req->a_host 4096-ptr_max
PARAM_VALUE 0 req->a_res.cookie->data 0-255
PARAM_VALUE 0 req->a_res.cookie.len 0-32
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_member.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_member.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_member.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_requests.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_requests.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_blocked_requests.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_list.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_expire_lock 0,8135569178967285760
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_get_owner 601293288964460544,779917719904358400
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_grant 0,6755173835644108800
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_lock_expirable 0,6876519118932000768
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_notify 7826183627361755136,8433928438555447296
PARAM_VALUE 0 req->a_res.lock.fl.fl_lmops->lm_put_owner 2080181080880410624,4520729263436308480
PARAM_VALUE 0 req->a_res.status 0-4
PARAM_VALUE 1 proc 11-15
PARAM_VALUE 2 tk_ops 588759793276256256
BUF_SIZE 0 req 1088
DATA_SOURCE 0 req r nlm_alloc_call
DATA_SOURCE 1 proc $2
HARD_MAX 1 proc 15