Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/ocfs2/dlm/dlmunlock.c dlm_send_remote_unlock_request() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->ast_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | node | 0-254 |
| BUF_SIZE | 0 | dlm | (-1),8,1560 |
| BUF_SIZE | 0 | dlm | (-1),8,1560 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $5 |
| PARAM_COMPARE | 0 | dlm->node_num | != $1 |
| PARAM_COMPARE | 1 | node | != $0->node_num |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmmaster.c dlm_migrate_lockres() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_state | 2 |
| PARAM_VALUE | 0 | dlm->dlm_worker->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | dlm->dlm_worker->work_color | s32min-s32max |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->lockres_hash | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->master_hash | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->master_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->mle_hb_events.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->mle_hb_events.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->mle_hb_events.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->num_joins | 0 |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | node | 0-254 |
| BUF_SIZE | 0 | dlm | 8,1560 |
| BUF_SIZE | 0 | dlm | 8,1560 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 0 | dlm->node_num | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_remaster_locks() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_state | 1-2 |
| PARAM_VALUE | 0 | dlm->migrate_done | 0 |
| PARAM_VALUE | 0 | dlm->reco.dead_node | 0-254 |
| PARAM_VALUE | 0 | dlm->recovery_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | node | 0-254 |
| BUF_SIZE | 0 | dlm | 128 |
| BUF_SIZE | 0 | dlm | 128 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 0 | &dlm->reco.node_data | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| PARAM_COMPARE | 0 | dlm->node_num | != $1 |
| PARAM_COMPARE | 1 | node | != $0->node_num |
fs/ocfs2/dlm/dlmrecovery.c dlm_remaster_locks() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_reco_thread_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->dlm_state | 1-2 |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->migrate_done | 0 |
| PARAM_VALUE | 0 | dlm->reco.dead_node | 0-254 |
| PARAM_VALUE | 0 | dlm->recovery_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | node | 0-254 |
| BUF_SIZE | 0 | dlm | 128 |
| BUF_SIZE | 0 | dlm | 128 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 0 | &dlm->reco.node_data | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| PARAM_COMPARE | 0 | dlm->node_num | != $1 |
| PARAM_COMPARE | 1 | node | != $0->node_num |
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_remaster_locks() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_reco_thread_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->dlm_state | 1-2 |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->migrate_done | 0 |
| PARAM_VALUE | 0 | dlm->reco.dead_node | 0-254 |
| PARAM_VALUE | 0 | dlm->recovery_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | node | 0-254 |
| BUF_SIZE | 0 | dlm | 128 |
| BUF_SIZE | 0 | dlm | 128 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 0 | &dlm->reco.node_data | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| PARAM_COMPARE | 0 | dlm->node_num | != $1 |
| PARAM_COMPARE | 1 | node | != $0->node_num |
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_remaster_locks() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_state | 1-2 |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->migrate_done | 0 |
| PARAM_VALUE | 0 | dlm->reco.dead_node | 0-254 |
| PARAM_VALUE | 0 | dlm->recovery_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | node | 0-254 |
| BUF_SIZE | 0 | dlm | 128 |
| BUF_SIZE | 0 | dlm | 128 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 0 | &dlm->reco.node_data | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| PARAM_COMPARE | 0 | dlm->node_num | != $1 |
| PARAM_COMPARE | 1 | node | != $0->node_num |
fs/ocfs2/dlm/dlmrecovery.c dlm_wait_for_node_death() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dlm | (-1),9 |
| STR_LEN | 0 | dlm | (-1),9 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_wait_for_node_death() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dlm | (-1),9 |
| STR_LEN | 0 | dlm | (-1),9 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_wait_for_node_death() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_reco_thread_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dlm | (-1),9 |
| STR_LEN | 0 | dlm | (-1),9 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_wait_for_node_death() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_reco_thread_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dlm | (-1),9 |
| STR_LEN | 0 | dlm | (-1),9 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_wait_for_node_death() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dlm | (-1),9 |
| STR_LEN | 0 | dlm | (-1),9 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_wait_for_node_death() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_reco_thread_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dlm | (-1),9 |
| STR_LEN | 0 | dlm | (-1),9 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmrecovery.c dlm_wait_for_node_death() -> dlm_is_node_dead()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dlm_reco_thread_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->domain_map | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->spinlock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| BUF_SIZE | 0 | dlm | 8,128,1560 |
| CAPPED_DATA | 0 | dlm | 1 |
| CAPPED_DATA | 1 | node | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | node | $1 |
| STR_LEN | 0 | dlm | (-1),9 |
| STR_LEN | 0 | dlm | (-1),9 |
| RX_PATH | |||
| TASK_NOT_RUNNING |