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 |