Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/nfsd/nfs4proc.c nfsd4_open_omfg() -> seqid_mutating_err()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | err | 1-u32max |
| USER_DATA | 0 | err | 1-u32max |
fs/nfsd/nfs4state.c nfsd4_bump_seqid() -> seqid_mutating_err()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | err | 0-30000,30002-u32max |
| DATA_SOURCE | 0 | err | $1 |
| USER_DATA | 0 | err | 0-30000,30002-u32max |
fs/nfsd/nfs4state.c nfsd4_lock() -> seqid_mutating_err()
| Type | Parameter | Key | Value |
|---|---|---|---|
| USER_DATA | 0 | err | 0-u32max |
| LOCK2 | &stp->st_mutex |
fs/nfs/nfs4proc.c nfs_confirm_seqid() -> seqid_mutating_err()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | err | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |