Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dispose 1358377691458781184
PARAM_VALUE 0 dispose->next 4096-ptr_max
PARAM_VALUE 0 dispose->prev 1358377691458781184
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 dispose 1358377691458781184
PARAM_VALUE 0 dispose->next 4096-ptr_max
PARAM_VALUE 0 dispose->prev 1358377691458781184
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 dispose 4519680766089617408
PARAM_VALUE 0 dispose->next 4096-ptr_max
PARAM_VALUE 0 dispose->prev 4519680766089617408
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 dispose 7963846141376892928
PARAM_VALUE 0 dispose->next 4096-ptr_max
PARAM_VALUE 0 dispose->prev 7963846141376892928
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 dispose 7511300569490386944
PARAM_VALUE 0 dispose->next 4096-ptr_max
PARAM_VALUE 0 dispose->prev 7511300569490386944
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 dispose 993429454924546048
PARAM_VALUE 0 dispose->next 4096-ptr_max
PARAM_VALUE 0 dispose->prev 993429454924546048
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL