Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/nfsd/nfs4layouts.c nfsd4_layout_lm_change() -> lease_modify()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_file 4096-ptr_max
PARAM_VALUE 1 arg 2
PARAM_VALUE 2 dispose 7511300569490386944,7963846141376892928
PARAM_VALUE 2 dispose->next 4096-ptr_max
PARAM_VALUE 2 dispose->prev 7511300569490386944,7963846141376892928
DATA_SOURCE 0 fl $0
DATA_SOURCE 1 arg $1
DATA_SOURCE 2 dispose $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctx->flc_lock
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/nfsd/nfs4state.c nfsd_change_deleg_cb() -> lease_modify()

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_owner 4096-ptr_max
PARAM_VALUE 1 arg 2
PARAM_VALUE 2 dispose 7511300569490386944,7963846141376892928
PARAM_VALUE 2 dispose->next 4096-ptr_max
PARAM_VALUE 2 dispose->prev 7511300569490386944,7963846141376892928
DATA_SOURCE 0 fl $0
DATA_SOURCE 1 arg $1
DATA_SOURCE 2 dispose $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctx->flc_lock
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/locks.c locks_remove_lease() -> lease_modify()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->c.flc_file 4096-ptr_max
PARAM_VALUE 1 arg 2
PARAM_VALUE 2 dispose 993429454924546048
PARAM_VALUE 2 dispose->next 4096-ptr_max
PARAM_VALUE 2 dispose->prev 993429454924546048
CAPPED_DATA 0 fl->c.flc_file 1
CAPPED_DATA 0 &fl->c.flc_list 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->flc_lock
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/locks.c time_out_leases() -> lease_modify()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->fl_downgrade_time 1-u64max
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_timedout 0,3720355547507781632
PARAM_VALUE 1 arg 0
PARAM_VALUE 2 dispose 1358377691458781184,4519680766089617408,7963846141376892928
PARAM_VALUE 2 dispose->next 4096-ptr_max
PARAM_VALUE 2 dispose->prev 1358377691458781184,4519680766089617408,7963846141376892928
CAPPED_DATA 0 &fl->c.flc_list 1
DATA_SOURCE 2 dispose $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->flc_lock
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/locks.c time_out_leases() -> lease_modify()

Type Parameter Key Value
PARAM_VALUE 0 fl 4096-ptr_max
PARAM_VALUE 0 fl->fl_break_time 1-u64max
PARAM_VALUE 0 fl->fl_lmops 0,4096-ptr_max
PARAM_VALUE 0 fl->fl_lmops->lm_breaker_timedout 0,3720355547507781632
PARAM_VALUE 1 arg 2
PARAM_VALUE 2 dispose 1358377691458781184,4519680766089617408,7963846141376892928
PARAM_VALUE 2 dispose->next 4096-ptr_max
PARAM_VALUE 2 dispose->prev 1358377691458781184,4519680766089617408,7963846141376892928
CAPPED_DATA 0 &fl->c.flc_list 1
DATA_SOURCE 2 dispose $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->flc_lock
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/locks.c generic_add_lease() -> (struct lease_manager_operations)->lm_change()

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->fl_lmops 4096-ptr_max
PARAM_VALUE 1 arg 0-1
PARAM_VALUE 2 dispose 7963846141376892928
PARAM_VALUE 2 dispose->next 4096-ptr_max
PARAM_VALUE 2 dispose->prev 7963846141376892928
DATA_SOURCE 1 arg $1
CONTAINER 0 -8-216+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 arg 0-1
LOCK2 &ctx->flc_lock
HALF_LOCKED2 &inode->i_rwsem
TYPE_LOCK (struct file_lock_context)->flc_lock

fs/locks.c generic_delete_lease() -> (struct lease_manager_operations)->lm_change()

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_owner 0,4-u64max
PARAM_VALUE 1 arg 2
PARAM_VALUE 2 dispose 7511300569490386944
PARAM_VALUE 2 dispose->next 7511300569490386944
PARAM_VALUE 2 dispose->prev 7511300569490386944
CONTAINER 0 -8-216+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 &ctx->flc_lock
TYPE_LOCK (struct file_lock_context)->flc_lock