Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/fcntl.c do_compat_fcntl64() -> put_compat_flock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kfl | 3912808524610396160 |
| PARAM_VALUE | 0 | kfl->l_len | s64min-s32max |
| PARAM_VALUE | 0 | kfl->l_start | s64min-s32max |
| PARAM_VALUE | 0 | kfl->l_type | 0-255 |
| PARAM_VALUE | 0 | kfl->l_whence | 0 |
| PARAM_VALUE | 1 | ufl | 0-u32max |