Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ocfs2/dlm/dlmmaster.c dlm_mark_lockres_migrating() -> dlm_lockres_is_dirty()

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->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->migration_pending 1
PARAM_VALUE 1 res->spinlock.rlock.dep_map->name 0-255
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
BIT_INFO 1 res->state 0x1000,0xffff
RX_PATH
TASK_NOT_RUNNING

fs/ocfs2/dlm/dlmmaster.c dlm_mark_lockres_migrating() -> dlm_lockres_is_dirty()

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->migration_pending 1
PARAM_VALUE 1 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res->state 8-u16max
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
BIT_INFO 1 res->state 0x1000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

fs/ocfs2/dlm/dlmmaster.c dlm_mark_lockres_migrating() -> dlm_lockres_is_dirty()

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->migration_pending 1
PARAM_VALUE 1 res->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 1 res->state 8-u16max
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
BIT_INFO 1 res->state 0x1000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING