Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/nfs/client.c nfs_alloc_client() -> put_nfs_version()

Type Parameter Key Value
PARAM_VALUE 0 nfs 4096-ptr_max
PARAM_VALUE 0 nfs->owner 0
PARAM_VALUE 0 nfs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nfs->owner->state 0-1,3-u32max
PARAM_VALUE 0 nfs->rpc_ops 2745445977497358336,4952832880452337664,6616820525242228736
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/client.c nfs_free_client() -> put_nfs_version()

Type Parameter Key Value
PARAM_VALUE 0 nfs->owner 0
PARAM_VALUE 0 nfs->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 nfs->owner->state 0-1,3-u32max
PARAM_VALUE 0 nfs->rpc_ops 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/nfs/fs_context.c nfs_fs_context_free() -> put_nfs_version()

Type Parameter Key Value
PARAM_VALUE 0 nfs 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL