Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/nfsd/nfs4layouts.c nfsd4_layout_setlease() -> locks_free_lease()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_file 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_file->f_op 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_flags 2048
PARAM_VALUE 0 fl->c.flc_link.next 0
PARAM_VALUE 0 fl->c.flc_link.pprev 0
PARAM_VALUE 0 fl->c.flc_owner 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_type 0
PARAM_VALUE 0 fl->c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->fl_lmops 3534252853266501632
BUF_SIZE 0 fl->fl_lmops 48
DATA_SOURCE 0 fl r locks_alloc_lease
NOCHECK_CALL

fs/nfsd/nfs4state.c nfs4_set_delegation() -> locks_free_lease()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_flags 4,8196,16388,24580,32772,40964,49156,57348
PARAM_VALUE 0 fl->c.flc_link.next 0
PARAM_VALUE 0 fl->c.flc_link.pprev 0
PARAM_VALUE 0 fl->c.flc_owner 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_type 0-1
PARAM_VALUE 0 fl->c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->fl_lmops 3629469471134920704
DATA_SOURCE 0 fl r nfs4_alloc_init_lease
BIT_INFO 0 fl->c.flc_flags 0x4,0xffffffffffffffff
NOCHECK_CALL

fs/nfsd/nfs4state.c nfsd_get_dir_deleg() -> locks_free_lease()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_flags 4,8196,16388,24580,32772,40964,49156,57348
PARAM_VALUE 0 fl->c.flc_link.next 0
PARAM_VALUE 0 fl->c.flc_link.pprev 0
PARAM_VALUE 0 fl->c.flc_owner 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_type 0-1
PARAM_VALUE 0 fl->c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->fl_lmops 3629469471134920704
DATA_SOURCE 0 fl r nfs4_alloc_init_lease
BIT_INFO 0 fl->c.flc_flags 0x4,0xffffffffffffffff
NOCHECK_CALL

fs/locks.c __break_lease() -> locks_free_lease()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_blocked_member.next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_blocked_member.next->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_blocked_member.next->prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_blocked_member.prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_blocked_member.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_blocked_member.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_blocker 0
PARAM_VALUE 0 fl->c.flc_file 0
PARAM_VALUE 0 fl->c.flc_flags 4,32,2048
PARAM_VALUE 0 fl->c.flc_link->next->pprev 1-u64max
PARAM_VALUE 0 fl->c.flc_link.next 0
PARAM_VALUE 0 fl->c.flc_link.next->pprev 1-u64max
PARAM_VALUE 0 fl->c.flc_link.pprev 0
PARAM_VALUE 0 fl->c.flc_owner 0
PARAM_VALUE 0 fl->c.flc_type 0-1
PARAM_VALUE 0 fl->c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->fl_lmops 5620869151630835712
PARAM_VALUE 0 fl->fl_lmops->lm_break 6177068281852432384
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_owns_lease 0
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_timedout 0
PARAM_VALUE 0 fl->fl_lmops->lm_change 5936085037469704192
PARAM_VALUE 0 fl->fl_lmops->lm_open_conflict 535970001853874176
PARAM_VALUE 0 fl->fl_lmops->lm_setup 4658967955176529920
CAPPED_DATA 0 &fl->c.flc_blocked_member 1
DATA_SOURCE 0 fl r lease_alloc
FUZZY_MAX 0 fl->c.flc_type 1
HARD_MAX 0 fl->c.flc_type 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/locks.c do_fcntl_add_lease() -> locks_free_lease()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_file 0,4-u64max
PARAM_VALUE 0 fl->c.flc_flags 4,32
PARAM_VALUE 0 fl->c.flc_link.next 0
PARAM_VALUE 0 fl->c.flc_link.pprev 0
PARAM_VALUE 0 fl->c.flc_owner 0,4-u64max
PARAM_VALUE 0 fl->c.flc_type 0-1
PARAM_VALUE 0 fl->c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->fl_lmops 5620869151630835712
PARAM_VALUE 0 fl->fl_lmops->lm_break 6177068281852432384
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_owns_lease 0
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_timedout 0
PARAM_VALUE 0 fl->fl_lmops->lm_change 5936085037469704192
PARAM_VALUE 0 fl->fl_lmops->lm_open_conflict 535970001853874176
PARAM_VALUE 0 fl->fl_lmops->lm_setup 4658967955176529920
DATA_SOURCE 0 fl r lease_alloc
NOCHECK_CALL
USER_DATA 0 fl->c.flc_type 0-1

fs/locks.c do_fcntl_add_lease() -> locks_free_lease()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_file 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_flags 4,32
PARAM_VALUE 0 fl->c.flc_link.next 0
PARAM_VALUE 0 fl->c.flc_link.pprev 0
PARAM_VALUE 0 fl->c.flc_owner 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_type 0-1
PARAM_VALUE 0 fl->c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->fl_lmops 5620869151630835712
PARAM_VALUE 0 fl->fl_lmops->lm_break 6177068281852432384
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_owns_lease 0
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_timedout 0
PARAM_VALUE 0 fl->fl_lmops->lm_change 5936085037469704192
PARAM_VALUE 0 fl->fl_lmops->lm_open_conflict 535970001853874176
PARAM_VALUE 0 fl->fl_lmops->lm_setup 4658967955176529920
DATA_SOURCE 0 fl r lease_alloc
NOCHECK_CALL
USER_DATA 0 fl->c.flc_type 0-1

fs/locks.c lease_alloc() -> locks_free_lease()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_link.next 0
PARAM_VALUE 0 fl->c.flc_link.pprev 0
PARAM_VALUE 0 fl->c.flc_wait.head.next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 fl->fl_lmops->lm_break 0,5528394158762377216,6177068281852432384,7501137944752877568
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_owns_lease 0,7181379451243089920
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_timedout 0,3720355547507781632
PARAM_VALUE 0 fl->fl_lmops->lm_change 0,5099657524375814144,5936085037469704192,7544707170302078976
PARAM_VALUE 0 fl->fl_lmops->lm_open_conflict 0,535970001853874176,2380562673076981760,6609622494699495424
PARAM_VALUE 0 fl->fl_lmops->lm_setup 0,4658967955176529920
DATA_SOURCE 0 fl r locks_alloc_lease
RX_PATH
NOCHECK_CALL

fs/locks.c lease_dispose_list() -> locks_free_lease()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL