Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/locks.c fcntl_getlk() -> posix_lock_to_flock()

Type Parameter Key Value
PARAM_VALUE 0 flock 3912808524610396160,8822178699396329472
PARAM_VALUE 0 flock->l_type 0-1,3-255
PARAM_VALUE 0 flock->l_whence 0-2
PARAM_VALUE 1 fl 4096-ptr_max
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-1,3-255
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->lm_expire_lock 0,8135569178967285760
PARAM_VALUE 1 fl->fl_lmops->lm_get_owner 601293288964460544,779917719904358400
PARAM_VALUE 1 fl->fl_lmops->lm_grant 0,6755173835644108800
PARAM_VALUE 1 fl->fl_lmops->lm_lock_expirable 0,6876519118932000768
PARAM_VALUE 1 fl->fl_lmops->lm_mod_owner 0
PARAM_VALUE 1 fl->fl_lmops->lm_notify 7826183627361755136,8433928438555447296
PARAM_VALUE 1 fl->fl_lmops->lm_put_owner 2080181080880410624,4520729263436308480
CAPPED_DATA 0 flock->l_start 1
DATA_SOURCE 0 flock $2
DATA_SOURCE 1 fl r locks_alloc_lock
USER_DATA 0 flock->l_len s64min-s64max
USER_DATA 0 flock->l_pid s32min-s32max
USER_DATA 0 flock->l_start s64min-s64max[c]
USER_DATA 0 flock->l_type 0-1
USER_DATA 0 flock->l_whence 0-2
USER_DATA 1 fl->c.flc_type 0-1
USER_DATA 1 fl->fl_start s64min-s64max[c]