Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/lock.c deactivate_rsb() -> add_scan()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_slow_inactive.next 4096-ptr_max
PARAM_VALUE 0 ls->ls_slow_inactive.next->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_slow_inactive.next->prev 4096-ptr_max
PARAM_VALUE 1 r 4096-ptr_max
PARAM_VALUE 1 r->res_ls 4096-ptr_max
PARAM_VALUE 1 r->res_ls->ls_slow_inactive.next 4096-ptr_max
PARAM_VALUE 1 r->res_ls->ls_slow_inactive.next->next 4096-ptr_max
PARAM_VALUE 1 r->res_ls->ls_slow_inactive.next->prev 4096-ptr_max
PARAM_VALUE 1 r->res_root_list.next 4096-ptr_max
PARAM_VALUE 1 r->res_slow_list.next 4096-ptr_max
PARAM_VALUE 1 r->res_slow_list.next->prev 4096-ptr_max
PARAM_VALUE 1 r->res_slow_list.prev 4096-ptr_max
PARAM_VALUE 1 r->res_slow_list.prev->next 4096-ptr_max
CAPPED_DATA 1 &r->res_root_list 1
PARAM_COMPARE 1 &r->res_root_list == $1->res_root_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ls unit_array_size
LOCK2 bh
LOCK2 lock
HALF_LOCKED2 &ls->ls_in_recovery
HALF_LOCKED2 &ls->ls_recv_active
HALF_LOCKED2 &ls->ls_requestqueue_lock