Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/dlm/member.c dlm_slots_assign() -> log_slots()

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_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_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 2 num_slots 0-s32max
PARAM_VALUE 3 ro0 0
PARAM_VALUE 4 array 16,4096-ptr_max
PARAM_VALUE 5 array_size s32min-2147483645
BUF_SIZE 0 ls 128
BUF_SIZE 0 ls 128
BUF_SIZE 4 array 0-u64max
CAPPED_DATA 0 ls->ls_low_nodeid 1
CAPPED_DATA 0 &ls->ls_nodes 1
CAPPED_DATA 5 array_size 1
DATA_SOURCE 0 ls $0
DATA_SOURCE 4 array r _kzalloc_noprof
FUZZY_MAX 2 num_slots 0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 5 array_size
UNITS 5 array_size unit_array_size
LOCK2 0 &ls->ls_in_recovery
LOCK2 0 &ls->ls_recoverd_active
TYPE_LOCK (struct dlm_ls)->ls_in_recovery
TYPE_LOCK (struct dlm_ls)->ls_recoverd_active

fs/dlm/member.c dlm_slots_copy_in() -> log_slots()

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_rcom_spin.rlock.dep_map->name 0-255
PARAM_VALUE 0 ls->ls_recover_args 0
PARAM_VALUE 0 ls->ls_recover_buf 4096-ptr_max
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_rsbtbl.tbl->dep_map->name 0-255
PARAM_VALUE 0 ls->ls_rsbtbl_lock.dep_map->name 0-255
PARAM_VALUE 2 num_slots 1-u16max
PARAM_VALUE 4 array 0
PARAM_VALUE 5 array_size 0
BUF_SIZE 0 ls 128
BUF_SIZE 0 ls 128
CAPPED_DATA 0 ls->ls_generation 1
CAPPED_DATA 1 gen 1
DATA_SOURCE 0 ls $0
NOCHECK_CALL
UNITS 3 ro0 unit_byte
LOCK2 0 &ls->ls_in_recovery
LOCK2 0 &ls->ls_recoverd_active
TYPE_LOCK (struct dlm_ls)->ls_in_recovery
TYPE_LOCK (struct dlm_ls)->ls_recoverd_active