Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/server/smb2pdu.c smb2_lock() -> smb2_lock_init()

Type Parameter Key Value
PARAM_VALUE 0 flock 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_member.next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_member.next->next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_member.prev 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_member.prev->next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_member.prev->prev 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_requests.next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_requests.next->next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_requests.prev 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_requests.prev->next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_blocked_requests.prev->prev 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_flags 1,129
PARAM_VALUE 0 flock->c.flc_link.next 0
PARAM_VALUE 0 flock->c.flc_link.pprev 0
PARAM_VALUE 0 flock->c.flc_list.next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_list.next->next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_list.prev 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_list.prev->next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_type 0-2
PARAM_VALUE 0 flock->c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 flock->c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 flock->fl_end 0-s64max
PARAM_VALUE 0 flock->fl_lmops 0
PARAM_VALUE 0 flock->fl_ops 0
PARAM_VALUE 0 flock->fl_start 0-s64max
PARAM_VALUE 1 cmd 6-7,4294967274
PARAM_VALUE 3 lock_list 1808607100304691200
PARAM_VALUE 3 lock_list->next 1808607100304691200
PARAM_VALUE 3 lock_list->prev 4096-ptr_max
CAPPED_DATA 0 flock->fl_start 1
DATA_SOURCE 0 flock r smb_flock_init
DATA_SOURCE 1 cmd r smb2_set_flock_flags
FUZZY_MAX 0 flock->fl_start s64max
PARAM_COMPARE 0 flock->fl_end >= $0->fl_start
NO_OVERFLOW_SIMPLE 0 flock->fl_start
HALF_LOCKED2 &pool->lock