Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/server/oplock.c free_lease() -> lease_put()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu

fs/smb/server/oplock.c lease_del_table() -> lease_put()

Type Parameter Key Value
PARAM_VALUE 0 lease 4096-ptr_max
PARAM_VALUE 0 lease->l_entry.next->prev 4096-ptr_max
PARAM_VALUE 0 lease->l_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 lease->l_lb 0
CAPPED_DATA 0 &lease->l_entry 1
DATA_SOURCE 0 lease $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &lease_list_lock

fs/smb/server/oplock.c smb_grant_oplock() -> lease_put()

Type Parameter Key Value
PARAM_VALUE 0 lease 4096-ptr_max
PARAM_VALUE 0 lease->l_entry.next 4096-ptr_max
PARAM_VALUE 0 lease->l_entry.next->next 4096-ptr_max
PARAM_VALUE 0 lease->l_entry.prev 4096-ptr_max
PARAM_VALUE 0 lease->l_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 lease->l_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 lease->l_lb 0
PARAM_VALUE 0 lease->new_state 0
PARAM_VALUE 0 lease->open_list.next 4096-ptr_max
PARAM_VALUE 0 lease->open_list.next->next 4096-ptr_max
PARAM_VALUE 0 lease->open_list.prev 4096-ptr_max
PARAM_VALUE 0 lease->open_list.prev->next 4096-ptr_max
PARAM_VALUE 0 lease->open_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 lease->refcount.counter 1
PARAM_VALUE 0 lease->reuse_epoch 0
BUF_SIZE 0 lease 192
DATA_SOURCE 0 lease r alloc_lease
NOCHECK_CALL