Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ocfs2/dlm/dlmmaster.c dlm_mark_lockres_migrating() -> dlm_migration_can_proceed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->ast_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->dirty_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev->next->next | 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->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 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->dirty.next | 4096-ptr_max |
| PARAM_VALUE | 1 | res->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | mig_target | 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 |
| CAPPED_DATA | 1 | res->owner | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | res | $1 |
| DATA_SOURCE | 2 | mig_target | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmmaster.c dlm_mark_lockres_migrating() -> dlm_migration_can_proceed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->ast_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->dirty_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev->next->next | 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->migration_wq.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 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->dirty.next | 4096-ptr_max |
| PARAM_VALUE | 1 | res->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | mig_target | 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 |
| CAPPED_DATA | 1 | res->owner | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | res | $1 |
| DATA_SOURCE | 2 | mig_target | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmmaster.c dlm_mark_lockres_migrating() -> dlm_migration_can_proceed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->ast_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->dirty_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev->next->next | 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->migration_wq.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 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->dirty.next | 4096-ptr_max |
| PARAM_VALUE | 1 | res->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | mig_target | 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 |
| CAPPED_DATA | 1 | res->owner | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | res | $1 |
| DATA_SOURCE | 2 | mig_target | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ocfs2/dlm/dlmmaster.c dlm_mark_lockres_migrating() -> dlm_migration_can_proceed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dlm | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->ast_wq.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dlm->dirty_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | dlm->dirty_list.prev->next->next | 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 | res | 4096-ptr_max |
| PARAM_VALUE | 1 | res->dirty.next | 4096-ptr_max |
| PARAM_VALUE | 1 | res->spinlock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | mig_target | 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 |
| CAPPED_DATA | 1 | res->owner | 1 |
| DATA_SOURCE | 0 | dlm | $0 |
| DATA_SOURCE | 1 | res | $1 |
| DATA_SOURCE | 2 | mig_target | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |