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 |