Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.next 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_lock.rlock.dep_map->name 0-255
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
CAPPED_DATA 0 &ls->ls_scan_list 1
DATA_SOURCE 0 ls $0
DATA_SOURCE 1 jiffies r rsb_toss_jiffies
PARAM_COMPARE 0 &ls->ls_scan_list == $0->ls_scan_list.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ls unit_array_size
LOCK2 bh
LOCK2 lock
LOCK2 0 &ls->ls_scan_lock
HALF_LOCKED2 &ls->ls_in_recovery
HALF_LOCKED2 &ls->ls_recv_active
HALF_LOCKED2 &ls->ls_requestqueue_lock
TYPE_LOCK (struct dlm_ls)->ls_scan_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_lock.rlock.dep_map->name 0-255
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
CAPPED_DATA 0 &ls->ls_scan_list 1
DATA_SOURCE 0 ls $0
DATA_SOURCE 1 jiffies r rsb_toss_jiffies
PARAM_COMPARE 0 &ls->ls_scan_list != $0->ls_scan_list.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ls unit_array_size
LOCK2 bh
LOCK2 lock
LOCK2 0 &ls->ls_scan_lock
HALF_LOCKED2 &ls->ls_in_recovery
HALF_LOCKED2 &ls->ls_recv_active
HALF_LOCKED2 &ls->ls_requestqueue_lock
TYPE_LOCK (struct dlm_ls)->ls_scan_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_lock.rlock.dep_map->name 0-255
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
CAPPED_DATA 0 &ls->ls_scan_list 1
DATA_SOURCE 0 ls $0
PARAM_COMPARE 0 &ls->ls_scan_list != $0->ls_scan_list.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ls unit_array_size
LOCK2 bh
LOCK2 lock
LOCK2 0 &ls->ls_scan_lock
HALF_LOCKED2 &ls->ls_in_recovery
HALF_LOCKED2 &ls->ls_recv_active
HALF_LOCKED2 &ls->ls_requestqueue_lock
TYPE_LOCK (struct dlm_ls)->ls_scan_lock

fs/dlm/lock.c del_scan() -> enable_scan_timer()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_callback_wq->flags 0-4294967295
PARAM_VALUE 0 ls->ls_callback_wq->flush_color s32min-s32max
PARAM_VALUE 0 ls->ls_callback_wq->work_color s32min-s32max
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_rsbtbl_lock.owner_cpu 0
PARAM_VALUE 0 ls->ls_rsbtbl_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_scan_lock.rlock.dep_map->name 0-255
BUF_SIZE 0 ls s32min-(-1),1-s32max
BUF_SIZE 0 ls s32min-(-1),1-s32max
DATA_SOURCE 0 ls $0
STR_LEN 0 ls (-1)-1010101
STR_LEN 0 ls (-1)-1010101
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ls->ls_slots_size
UNITS 0 ls unit_array_size
LOCK2 bh
LOCK2 rcu_read
LOCK2 0 &ls->ls_rsbtbl_lock
LOCK2 0 &ls->ls_scan_lock
HALF_LOCKED2 0 &ls->ls_in_recovery
HALF_LOCKED2 0 &ls->ls_recoverd_active
HALF_LOCKED2 0 &ls->ls_recv_active
HALF_LOCKED2 0 &ls->ls_requestqueue_lock
TYPE_LOCK (struct dlm_ls)->ls_rsbtbl_lock
TYPE_LOCK (struct dlm_ls)->ls_scan_lock

fs/dlm/lock.c dlm_rsb_scan() -> enable_scan_timer()

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

fs/dlm/lock.c dlm_rsb_scan() -> enable_scan_timer()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &ls->ls_scan_lock
TYPE_LOCK (struct dlm_ls)->ls_scan_lock

fs/dlm/lock.c dlm_rsb_scan() -> enable_scan_timer()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_scan_lock.rlock.dep_map->name 0-255
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

fs/dlm/lock.c resume_scan_timer() -> enable_scan_timer()

Type Parameter Key Value
PARAM_VALUE 0 ls 4096-ptr_max
PARAM_VALUE 0 ls->ls_callback_wq->flush_color s32min-s32max
PARAM_VALUE 0 ls->ls_callback_wq->work_color s32min-s32max
PARAM_VALUE 0 ls->ls_in_recovery.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 ls->ls_in_recovery.first_waiter->type 0-1
PARAM_VALUE 0 ls->ls_masters_list.next 4096-ptr_max
PARAM_VALUE 0 ls->ls_masters_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_masters_lock.owner (-1)
PARAM_VALUE 0 ls->ls_masters_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_masters_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_masters_lock.raw_lock.wlocked 0
PARAM_VALUE 0 ls->ls_node_array 0,16,4096-ptr_max
PARAM_VALUE 0 ls->ls_nodes.prev 4096-ptr_max
PARAM_VALUE 0 ls->ls_nodes.prev->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_nodes.prev->next->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_nodes_gone.next 4096-ptr_max
PARAM_VALUE 0 ls->ls_nodes_gone.next->next 4096-ptr_max
PARAM_VALUE 0 ls->ls_nodes_gone.next->prev 4096-ptr_max
PARAM_VALUE 0 ls->ls_num_slots 0-249
PARAM_VALUE 0 ls->ls_rcom_spin.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recover_args 0
PARAM_VALUE 0 ls->ls_recover_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recover_lock_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recover_locks_in 0
PARAM_VALUE 0 ls->ls_recoverd_active.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recoverd_active.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 ls->ls_recoverd_active.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ls->ls_recoverd_active.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ls->ls_recoverd_active.osq.tail.counter 0-s32max
PARAM_VALUE 0 ls->ls_recoverd_active.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recoverd_active.wait_lock.owner (-1)
PARAM_VALUE 0 ls->ls_recoverd_active.wait_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_recv_active.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recv_active.owner_cpu 0
PARAM_VALUE 0 ls->ls_recv_active.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_requestqueue_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_requestqueue_lock.owner (-1)
PARAM_VALUE 0 ls->ls_requestqueue_lock.owner_cpu u32max
PARAM_VALUE 0 ls->ls_requestqueue_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 ls->ls_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_scan_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_scan_timer.entry.pprev 0
PARAM_VALUE 0 ls->ls_slots 16,4096-ptr_max
PARAM_VALUE 0 ls->ls_slots_size s32min-2147483645
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
BUF_SIZE 0 ls 128
BUF_SIZE 0 ls 128
CAPPED_DATA 0 ls->ls_recover_seq 1
DATA_SOURCE 0 ls $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &ls->ls_in_recovery
LOCK2 0 &ls->ls_recover_lock
LOCK2 0 &ls->ls_recoverd_active
LOCK2 0 &ls->ls_recv_active
LOCK2 0 &ls->ls_scan_lock
TYPE_LOCK (struct dlm_ls)->ls_in_recovery
TYPE_LOCK (struct dlm_ls)->ls_recover_lock
TYPE_LOCK (struct dlm_ls)->ls_recoverd_active
TYPE_LOCK (struct dlm_ls)->ls_recv_active
TYPE_LOCK (struct dlm_ls)->ls_scan_lock