Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/nfsd/nfs4state.c nfsd_test_lock() -> vfs_test_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_member.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_blocked_requests.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 1 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-1 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | 0-s64max |
| PARAM_VALUE | 1 | fl->fl_start | 0-s64max |
| DATA_SOURCE | 1 | fl | $2 |
| FUZZY_MAX | 1 | fl->c.flc_type | 1 |
| HARD_MAX | 1 | fl->c.flc_type | 1 |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/lockd/svclock.c nlmsvc_testlock() -> vfs_test_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 0 |
| PARAM_VALUE | 1 | fl->c.flc_owner | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_pid | 0 |
| PARAM_VALUE | 1 | fl->c.flc_type | 0 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_end | 0-s64max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| PARAM_VALUE | 1 | fl->fl_start | 0-s64max |
| MEM_ZERO | 1 | fl | |
| UNITS | 0 | filp | unit_byte |
fs/locks.c fcntl_getlk() -> vfs_test_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filp | 0,4-u64max |
| PARAM_VALUE | 1 | fl | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_file | 0,4-u64max |
| PARAM_VALUE | 1 | fl->c.flc_flags | 1,1025 |
| PARAM_VALUE | 1 | fl->c.flc_link.next | 0 |
| PARAM_VALUE | 1 | fl->c.flc_link.pprev | 0 |
| PARAM_VALUE | 1 | fl->c.flc_type | 0-2 |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->c.flc_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | fl->fl_lmops | 0 |
| PARAM_VALUE | 1 | fl->fl_ops | 0 |
| DATA_SOURCE | 0 | filp | $0 |
| DATA_SOURCE | 1 | fl | r locks_alloc_lock |
| BIT_INFO | 1 | fl->c.flc_flags | 0x1,0x401 |
| USER_DATA | 1 | fl->c.flc_type | 0-2 |
| USER_DATA | 1 | fl->fl_start | s64min-9223372036854775806[c][u] |