Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fuse/file.c fuse_getlk() -> convert_fuse_file_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fc | 4096-ptr_max |
| PARAM_VALUE | 0 | fc->chan->num_waiting.counter | s32min-s32max |
| PARAM_VALUE | 1 | ffl | 8271591432492089344 |
| PARAM_VALUE | 2 | fl | 4096-ptr_max |
| PARAM_VALUE | 2 | fl->c.flc_flags | 0-1,1025 |
| PARAM_VALUE | 2 | fl->c.flc_type | 0-2 |
| PARAM_VALUE | 2 | fl->c.flc_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 2 | fl->c.flc_wait.head.prev | 4096-ptr_max |
| BUF_SIZE | 2 | fl | (-1)-s32max |
| BUF_SIZE | 2 | fl | (-1)-s32max |
| DATA_SOURCE | 2 | fl | $1 |
| FUZZY_MAX | 2 | fl->c.flc_type | 1 |
| BIT_INFO | 2 | fl->c.flc_flags | 0x0,0x401 |
| NOSPEC | 2 | fl->fl_start | |
| RX_PATH | |||
| USER_DATA | 2 | fl->c.flc_type | 0-2 |
| USER_DATA | 2 | fl->fl_start | s64min-9223372036854775806[c][u] |
| HALF_LOCKED2 | &inode->i_rwsem |