Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4state.c find_or_create_lock_stateid() -> nfsd4_lock_ol_stateid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stp | 4096-ptr_max |
| PARAM_VALUE | 0 | stp->st_stateowner | 4096-ptr_max |
| CAPPED_DATA | 0 | stp->st_stateowner | 1 |
| DATA_SOURCE | 0 | stp | r find_lock_stateid |
fs/nfsd/nfs4state.c init_lock_stateid() -> nfsd4_lock_ol_stateid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stp | 4096-ptr_max |
| PARAM_VALUE | 0 | stp->st_stateowner | 4096-ptr_max |
| CAPPED_DATA | 0 | stp->st_stateowner | 1 |
| DATA_SOURCE | 0 | stp | r find_lock_stateid |
| LOCK2 | &stp->st_mutex | ||
| TYPE_LOCK | (struct nfs4_ol_stateid)->st_mutex |
fs/nfsd/nfs4state.c init_open_stateid() -> nfsd4_lock_ol_stateid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stp | 4096-ptr_max |
| PARAM_VALUE | 0 | stp->st_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | stp->st_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | stp->st_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | stp->st_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | stp->st_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | stp->st_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | stp->st_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | stp->st_stateowner | 4096-ptr_max |
| HALF_LOCKED2 | &stp->st_mutex |
fs/nfsd/nfs4state.c nfs4_seqid_op_checks() -> nfsd4_lock_ol_stateid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stp | 4096-ptr_max |
| PARAM_VALUE | 0 | stp->st_stateowner->so_replay.rp_locked | 0-s32max |
| PARAM_VALUE | 0 | stp->st_stid.sc_client->cl_lock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | stp | $3 |
fs/nfsd/nfs4state.c nfsd4_find_and_lock_existing_open() -> nfsd4_lock_ol_stateid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stp | 4096-ptr_max |
| PARAM_VALUE | 0 | stp->st_stateowner | 4096-ptr_max |
| PARAM_VALUE | 0 | stp->st_stid.sc_status | 0 |
| PARAM_VALUE | 0 | stp->st_stid.sc_type | 1 |
| DATA_SOURCE | 0 | stp | r nfsd4_find_existing_open |
fs/nfsd/nfs4state.c nfsd4_free_lock_stateid() -> nfsd4_lock_ol_stateid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stp | 4096-ptr_max |
| DATA_SOURCE | 0 | stp | r openlockstateid |