Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/dlm/recover.c dlm_recover_locks() -> dlm_wait_function()
| 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_in_recovery.wait_lock.dep_map->name | 0-255 |
| 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_list_lock.rlock.dep_map->name | 0-255 |
| 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_recover_xa_lock.rlock.dep_map->name | 0-255 |
| 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.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 | 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 |
| PARAM_VALUE | 1 | testfn | 3851804392167944192 |
| BUF_SIZE | 0 | ls | 128 |
| BUF_SIZE | 0 | ls | 128 |
| DATA_SOURCE | 0 | ls | $0 |
| 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/recover.c dlm_recover_masters() -> dlm_wait_function()
| 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_in_recovery.wait_lock.dep_map->name | 0-255 |
| 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.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 | 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 |
| PARAM_VALUE | 1 | testfn | 5508229265925795840 |
| BUF_SIZE | 0 | ls | 128 |
| BUF_SIZE | 0 | ls | 128 |
| DATA_SOURCE | 0 | ls | $0 |
| 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/rcom.c dlm_rcom_names() -> dlm_wait_function()
| 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_rsbtbl.tbl->dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ls->ls_rsbtbl_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ls->ls_slots | 16,4096-ptr_max |
| PARAM_VALUE | 0 | ls->ls_slots_size | s32min-2147483645 |
| PARAM_VALUE | 1 | testfn | 4331204738446708736 |
| BUF_SIZE | 0 | ls | 128 |
| BUF_SIZE | 0 | ls | 128 |
| DATA_SOURCE | 0 | ls | $0 |
| MEM_ZERO | 0 | ls->ls_recover_buf | |
| 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/rcom.c dlm_rcom_status() -> dlm_wait_function()
| 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_node_array | 0,16,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_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 | 1 | testfn | 4331204738446708736 |
| BUF_SIZE | 0 | ls | (-1),8,128,1560 |
| BUF_SIZE | 0 | ls | (-1),8,128,1560 |
| DATA_SOURCE | 0 | ls | $0 |
| MEM_ZERO | 0 | ls->ls_recover_buf | |
| PREEMPT_ADD | |||
| NO_OVERFLOW_SIMPLE | 0 | ls->ls_slots_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 |