Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/block/rbd.c rbd_add_acquire_lock() -> rbd_is_lock_owner()

Type Parameter Key Value
PARAM_VALUE 0 rbd_dev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->acquire_wait.wait.lock.magic 3735899821
PARAM_VALUE 0 rbd_dev->acquire_wait.wait.lock.owner (-1)
PARAM_VALUE 0 rbd_dev->acquire_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rbd_dev->acquire_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->acquire_wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->acquire_wait.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->acquire_wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->acquire_wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->acquiring_list.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->acquiring_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->acquiring_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.flags 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 rbd_dev->dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.power.child_count.counter 0
PARAM_VALUE 0 rbd_dev->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.power.usage_count.counter 0
PARAM_VALUE 0 rbd_dev->dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->disk 0
PARAM_VALUE 0 rbd_dev->header_oid->inline_name 0-255
PARAM_VALUE 0 rbd_dev->header_oid->name 0-255
PARAM_VALUE 0 rbd_dev->header_rwsem.dep_map->name 0-255
PARAM_VALUE 0 rbd_dev->header_rwsem.first_waiter->handoff_set 1
PARAM_VALUE 0 rbd_dev->header_rwsem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 0 rbd_dev->header_rwsem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 0 rbd_dev->header_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 rbd_dev->image_format 0-2
PARAM_VALUE 0 rbd_dev->lock_rwsem.dep_map->name 0-255
PARAM_VALUE 0 rbd_dev->major (-22),(-16),(-12),0-254
PARAM_VALUE 0 rbd_dev->minor s32min-(-16),0,16-s32max
PARAM_VALUE 0 rbd_dev->node.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->node.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->node.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->object_map 0,16,4096-ptr_max
PARAM_VALUE 0 rbd_dev->opts 4096-ptr_max
PARAM_VALUE 0 rbd_dev->opts->alloc_size 0-65536
PARAM_VALUE 0 rbd_dev->opts->lock_timeout 0-536870912
PARAM_VALUE 0 rbd_dev->opts->queue_depth 128
PARAM_VALUE 0 rbd_dev->parent_spec->kref.refcount.refs.counter 1
PARAM_VALUE 0 rbd_dev->parent_spec->pool_id 0-u32max
PARAM_VALUE 0 rbd_dev->quiescing_wait.wait.lock.magic 3735899821
PARAM_VALUE 0 rbd_dev->quiescing_wait.wait.lock.owner (-1)
PARAM_VALUE 0 rbd_dev->quiescing_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rbd_dev->quiescing_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->quiescing_wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->quiescing_wait.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->quiescing_wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->quiescing_wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->rbd_client->client->osdc.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 rbd_dev->rbd_client->client->osdc.lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 rbd_dev->rbd_client->client->osdc.lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 rbd_dev->rbd_client->client->osdc.lock.first_waiter->type 0-1
PARAM_VALUE 0 rbd_dev->rbd_client->client->osdc.notify_wq->flush_color s32min-s32max
PARAM_VALUE 0 rbd_dev->rbd_client->client->osdc.notify_wq->work_color s32min-s32max
PARAM_VALUE 0 rbd_dev->rbd_client->kref.refcount.refs.counter 1
PARAM_VALUE 0 rbd_dev->running_list.next->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->running_list.prev->next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->running_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->spec 4096-ptr_max
PARAM_VALUE 0 rbd_dev->spec->image_id 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->spec->kref.refcount.refs.counter 1
PARAM_VALUE 0 rbd_dev->spec->pool_id 0-s32max
PARAM_VALUE 0 rbd_dev->spec->pool_name 1-u64max
PARAM_VALUE 0 rbd_dev->spec->pool_ns 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->spec->snap_name 1-u64max
PARAM_VALUE 0 rbd_dev->tag_set.cmd_size 328
PARAM_VALUE 0 rbd_dev->tag_set.numa_node (-1)
PARAM_VALUE 0 rbd_dev->tag_set.ops 1600048077545451520
PARAM_VALUE 0 rbd_dev->tag_set.ops->busy 0,6951105562400137216
PARAM_VALUE 0 rbd_dev->tag_set.ops->cleanup_rq 0,374809708764532736
PARAM_VALUE 0 rbd_dev->tag_set.ops->commit_rqs 0,1603850229643087872,4107184254223355904,6246088900037488640,6925476825813073920,8397411471234322432
PARAM_VALUE 0 rbd_dev->tag_set.ops->complete 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.ops->exit_hctx 0
PARAM_VALUE 0 rbd_dev->tag_set.ops->exit_request 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.ops->get_budget 0,6664159237775466496
PARAM_VALUE 0 rbd_dev->tag_set.ops->get_rq_budget_token 0,105286794618322944
PARAM_VALUE 0 rbd_dev->tag_set.ops->init_hctx 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.ops->init_request 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.ops->map_queues 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.ops->poll 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.ops->put_budget 0,4364687989334204416
PARAM_VALUE 0 rbd_dev->tag_set.ops->queue_rq 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.ops->queue_rqs 0,2310945393380331520,5526440530074591232,6788952058456109056,7062451343663714304,7112549686366015488
PARAM_VALUE 0 rbd_dev->tag_set.ops->set_rq_budget_token 0,2917190389722857472
PARAM_VALUE 0 rbd_dev->tag_set.ops->show_rq 0,3263993565820678144
PARAM_VALUE 0 rbd_dev->tag_set.ops->timeout 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.shared_tags->rqs 0
PARAM_VALUE 0 rbd_dev->tag_set.srcu->srcu_sup 0,4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.srcu->srcu_sup->work.timer.lockdep_map->name 0-255
PARAM_VALUE 0 rbd_dev->tag_set.srcu->srcu_sup->work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->tag_set.tags_srcu.srcu_sup->srcu_barrier_completion.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 rbd_dev->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 rbd_dev->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rbd_dev->tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rbd_dev->tag_set.tags_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 rbd_dev->tag_set.tags_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 rbd_dev->tag_set.tags_srcu.srcu_sup->work.timer.lockdep_map->name 0-255
PARAM_VALUE 0 rbd_dev->watch_handle->data 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->errcb 1413625559729684480
PARAM_VALUE 0 rbd_dev->watch_handle->is_watch 1
PARAM_VALUE 0 rbd_dev->watch_handle->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 rbd_dev->watch_handle->mtime.tv_nsec 0-999999999
PARAM_VALUE 0 rbd_dev->watch_handle->node.__rb_parent_color 1
PARAM_VALUE 0 rbd_dev->watch_handle->node.rb_left 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->node.rb_right 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->notify_finish_wait.wait.lock.magic 3735899821
PARAM_VALUE 0 rbd_dev->watch_handle->notify_finish_wait.wait.lock.owner (-1)
PARAM_VALUE 0 rbd_dev->watch_handle->notify_finish_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rbd_dev->watch_handle->notify_finish_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->notify_finish_wait.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->notify_id 0
PARAM_VALUE 0 rbd_dev->watch_handle->osd 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->osdc 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->osdc_node.__rb_parent_color 1
PARAM_VALUE 0 rbd_dev->watch_handle->osdc_node.rb_left 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->osdc_node.rb_right 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->pending_lworks.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->pending_lworks.prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->reg_commit_wait.done 0-4294967293,u32max
PARAM_VALUE 0 rbd_dev->watch_handle->reg_commit_wait.wait.lock.owner (-1)
PARAM_VALUE 0 rbd_dev->watch_handle->reg_commit_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 rbd_dev->watch_handle->reg_commit_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->reg_req 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->scan_item.next 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->scan_item.prev 4096-ptr_max
PARAM_VALUE 0 rbd_dev->watch_handle->t.acting.primary (-1)
PARAM_VALUE 0 rbd_dev->watch_handle->t.acting.size 0
PARAM_VALUE 0 rbd_dev->watch_handle->t.flags 32
PARAM_VALUE 0 rbd_dev->watch_handle->t.last_force_resend 1-u32max
PARAM_VALUE 0 rbd_dev->watch_handle->t.min_size (-1)-255
PARAM_VALUE 0 rbd_dev->watch_handle->t.osd (-1)
PARAM_VALUE 0 rbd_dev->watch_handle->t.size (-1)-255
PARAM_VALUE 0 rbd_dev->watch_handle->t.spgid.pgid.seed 0-2147483646
PARAM_VALUE 0 rbd_dev->watch_handle->t.spgid.shard (-1)
PARAM_VALUE 0 rbd_dev->watch_handle->t.target_oloc.pool (-1)
PARAM_VALUE 0 rbd_dev->watch_handle->t.up.primary (-1)
PARAM_VALUE 0 rbd_dev->watch_handle->t.up.size 0
PARAM_VALUE 0 rbd_dev->watch_handle->wcb 7781559158959595520
PARAM_VALUE 0 rbd_dev->watch_mutex.dep_map->name 0-255
PARAM_VALUE 0 rbd_dev->watch_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 rbd_dev->watch_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 rbd_dev->watch_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 rbd_dev->watch_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 rbd_dev->watch_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 rbd_dev->watch_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 rbd_dev->watch_mutex.first_waiter->task->usage.refs.counter s32min-s32max
BUF_SIZE 0 rbd_dev 4144
CAPPED_DATA 0 rbd_dev->spec->pool_id 1
DATA_SOURCE 0 rbd_dev $0
CAPABLE 0 21
BIT_INFO 0 rbd_dev->header.features 0x4,0xffffffffffffffff
TERMINATED 0 rbd_dev->spec->image_name 1
TERMINATED 0 rbd_dev->spec->pool_name 1
TERMINATED 0 rbd_dev->spec->snap_name 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 rbd_dev->header.snapc->seq 0-u64max
USER_DATA 0 rbd_dev->watch_handle->ping_req->r_reply->con->v2.in_cursor.resid 0-u64max
USER_DATA 0 rbd_dev->watch_handle->ping_req->r_request->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 rbd_dev->watch_handle->ping_req->r_request->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
USER_DATA 0 rbd_dev->watch_handle->reg_req->r_reply->con->v2.in_cursor.resid 0-u64max
USER_DATA 0 rbd_dev->watch_handle->reg_req->r_request->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 rbd_dev->watch_handle->reg_req->r_request->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 rbd_dev->tag_set.queue_depth
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/block/rbd.c rbd_watch_cb() -> rbd_is_lock_owner()

Type Parameter Key Value
DATA_SOURCE 0 rbd_dev $0
HALF_LOCKED2 &pool->lock