Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/client/file.c cifs_getlk() -> cifs_lock_test()

Type Parameter Key Value
PARAM_VALUE 0 cfile 4096-ptr_max
PARAM_VALUE 0 cfile->tlink 4096-ptr_max
PARAM_VALUE 0 cfile->tlink->tl_tcon->ses 4096-ptr_max
PARAM_VALUE 3 type 0-2,4,16-18,20
PARAM_VALUE 4 flock 4096-ptr_max
BUF_SIZE 0 cfile (-1),26
BUF_SIZE 0 cfile (-1),26
BUF_SIZE 4 flock (-1)-s32max
BUF_SIZE 4 flock (-1)-s32max
BUF_SIZE 4 flock->c.flc_file (-1)-s32max
BUF_SIZE 4 flock->fl_lmops (-1),56
DATA_SOURCE 2 length r cifs_flock_len
DATA_SOURCE 3 type $2
DATA_SOURCE 4 flock $1
NOSPEC 1 offset
NOSPEC 1 offset
NOSPEC 4 flock->fl_start
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 offset 0-9223372036854775806,9223372036854775808-u64max[c][u]
USER_DATA 4 flock->c.flc_type 0-2
USER_DATA 4 flock->fl_start s64min-9223372036854775806[c][u]
UNITS 1 offset unit_byte