Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/nfsd/nfscache.c nfsd_cache_update() -> nfsd_reply_cache_free()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 1 rp 4096-ptr_max
PARAM_VALUE 1 rp->c_key.k_csum 0
PARAM_VALUE 1 rp->c_key.k_proc 0-23
PARAM_VALUE 1 rp->c_key.k_vers 0-4
PARAM_VALUE 1 rp->c_node.__rb_parent_color 1
PARAM_VALUE 2 nn 4096-ptr_max
DATA_SOURCE 0 b r nfsd_cache_bucket_find
DATA_SOURCE 1 rp $1
DATA_SOURCE 2 nn r net_generic
NOCHECK_CALL
USER_DATA 1 rp->c_key.k_xid 0-u32max

fs/nfsd/nfscache.c nfsd_cache_update() -> nfsd_reply_cache_free()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 1 rp 4096-ptr_max
PARAM_VALUE 1 rp->c_key.k_csum 0
PARAM_VALUE 1 rp->c_key.k_proc 0-23
PARAM_VALUE 1 rp->c_key.k_vers 0-4
PARAM_VALUE 1 rp->c_node.__rb_parent_color 1
PARAM_VALUE 1 rp->c_u.u_vec.iov_base 0
PARAM_VALUE 2 nn 4096-ptr_max
DATA_SOURCE 0 b r nfsd_cache_bucket_find
DATA_SOURCE 1 rp $1
DATA_SOURCE 2 nn r net_generic
NOCHECK_CALL
USER_DATA 1 rp->c_key.k_xid 0-u32max

fs/nfsd/nfscache.c nfsd_cache_update() -> nfsd_reply_cache_free()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
PARAM_VALUE 1 rp 4096-ptr_max
PARAM_VALUE 1 rp->c_key.k_csum 0
PARAM_VALUE 1 rp->c_key.k_proc 0-23
PARAM_VALUE 1 rp->c_key.k_vers 0-4
PARAM_VALUE 1 rp->c_node.__rb_parent_color 1
PARAM_VALUE 2 nn 4096-ptr_max
DATA_SOURCE 0 b r nfsd_cache_bucket_find
DATA_SOURCE 1 rp $1
DATA_SOURCE 2 nn r net_generic
NOCHECK_CALL
USER_DATA 1 rp->c_key.k_xid 0-u32max