rbd_dev_unprobe identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/block/rbd.c, line 6675 (as a function)

Referenced in 1 files:

drivers/block/rbd.c
- line 6868
- line 6969

Smatch caller information:

drivers/block/rbd.c rbd_dev_image_probe() -> rbd_dev_unprobe()

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.bus->dev_groups	0
PARAM_VALUE	0	rbd_dev->dev.bus->dev_name	0
PARAM_VALUE	0	rbd_dev->dev.bus->dma_cleanup	0
PARAM_VALUE	0	rbd_dev->dev.bus->dma_configure	0
PARAM_VALUE	0	rbd_dev->dev.bus->drv_groups	0
PARAM_VALUE	0	rbd_dev->dev.bus->irq_get_affinity	0
PARAM_VALUE	0	rbd_dev->dev.bus->match	0
PARAM_VALUE	0	rbd_dev->dev.bus->num_vf	0
PARAM_VALUE	0	rbd_dev->dev.bus->offline	0
PARAM_VALUE	0	rbd_dev->dev.bus->online	0
PARAM_VALUE	0	rbd_dev->dev.bus->pm	0
PARAM_VALUE	0	rbd_dev->dev.bus->probe	0
PARAM_VALUE	0	rbd_dev->dev.bus->remove	0
PARAM_VALUE	0	rbd_dev->dev.bus->resume	0
PARAM_VALUE	0	rbd_dev->dev.bus->shutdown	0
PARAM_VALUE	0	rbd_dev->dev.bus->suspend	0
PARAM_VALUE	0	rbd_dev->dev.bus->sync_state	0
PARAM_VALUE	0	rbd_dev->dev.bus->uevent	0
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->header.snapc->nref.refs.counter	1
PARAM_VALUE	0	rbd_dev->header.snapc->snaps	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	0-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->header_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	rbd_dev->lock_rwsem.dep_map->name	0-255
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->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.dep_map->name	0-255
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->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->image_id	4096-ptr_max
PARAM_VALUE	0	rbd_dev->spec->pool_ns	0,4096-ptr_max
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->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
PARAM_VALUE	0	rbd_dev->watch_mutex.osq.tail.counter	0-s32max
BUF_SIZE	0	rbd_dev	4144
BUF_SIZE	0	rbd_dev->rbd_client	(-1),4,24,32,64,168-s32max
DATA_SOURCE	0	rbd_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
HALF_LOCKED2		&of->mutex

drivers/block/rbd.c rbd_dev_image_release() -> rbd_dev_unprobe()

Type	Parameter	Key	Value
PARAM_VALUE	0	rbd_dev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	rbd_dev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	rbd_dev->header_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->header_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	rbd_dev->lock_rwsem.first_waiter->type	0-1
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->type	0-1
PARAM_VALUE	0	*rbd_dev->disk->bdi->dev_name	0-255
BUF_SIZE	0	rbd_dev	(-1),4144
BUF_SIZE	0	rbd_dev	(-1),4144
DATA_SOURCE	0	rbd_dev	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
HALF_LOCKED2		&of->mutex