Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4state.c nfsd4_lock() -> nfs4_set_lock_denied()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 0 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 1 | deny | 4096-ptr_max |
| DATA_SOURCE | 0 | fl | r locks_alloc_lock |
| NOCHECK_CALL | |||
| LOCK2 | &stp->st_mutex |
fs/nfsd/nfs4state.c nfsd4_lockt() -> nfs4_set_lock_denied()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fl | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_file | 0 |
| PARAM_VALUE | 0 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 0 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 0 | fl->c.flc_type | 0-1,3-255 |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->c.flc_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_expire_lock | 0,8135569178967285760 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_get_owner | 601293288964460544,779917719904358400 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_grant | 0,6755173835644108800 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_lock_expirable | 0,6876519118932000768 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_mod_owner | 0 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_notify | 7826183627361755136,8433928438555447296 |
| PARAM_VALUE | 0 | fl->fl_lmops->lm_put_owner | 2080181080880410624,4520729263436308480 |
| PARAM_VALUE | 1 | deny | 4096-ptr_max |
| DATA_SOURCE | 0 | fl | r locks_alloc_lock |
| NOCHECK_CALL |