rbd_img_request_destroy 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 1612 (as a function)

Referenced in 1 files:

drivers/block/rbd.c

Smatch caller information:

drivers/block/rbd.c rbd_img_handle_request() -> rbd_img_request_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	img_request	4096-ptr_max
PARAM_VALUE	0	img_request->rbd_dev	4096-ptr_max
PARAM_VALUE	0	img_request->rbd_dev->header_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	img_request->rbd_dev->header_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	img_request->rbd_dev->lock_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	img_request->rbd_dev->lock_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	img_request->rbd_dev->parent->header_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	img_request->rbd_dev->parent->header_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	img_request->rbd_dev->rbd_client->client->osdc.lock.first_waiter->type	0-1
PARAM_VALUE	0	img_request->state	1-4
PARAM_VALUE	0	img_request->state_mutex.dep_map->name	0-255
PARAM_VALUE	0	img_request->state_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	img_request->state_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	img_request->state_mutex.osq.tail.counter	0-s32max
DATA_SOURCE	0	img_request	$0 [m]
NOCHECK_CALL
USER_DATA	0	img_request->pending.result	s32min-(-12),(-10)-(-1),1-s32max[c]
HALF_LOCKED2		&pool->lock

drivers/block/rbd.c rbd_img_handle_request() -> rbd_img_request_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	img_request	4096-ptr_max
PARAM_VALUE	0	img_request->rbd_dev	4096-ptr_max
PARAM_VALUE	0	img_request->rbd_dev->header_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	img_request->rbd_dev->header_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	img_request->rbd_dev->lock_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	img_request->rbd_dev->lock_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	img_request->rbd_dev->parent->header_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	img_request->rbd_dev->parent->header_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	img_request->rbd_dev->rbd_client->client->osdc.lock.first_waiter->type	0-1
PARAM_VALUE	0	img_request->state	1-4
PARAM_VALUE	0	img_request->state_mutex.dep_map->name	0-255
PARAM_VALUE	0	img_request->state_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	img_request->state_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	img_request->state_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	img_request->state_mutex.osq.tail.counter	0-s32max
DATA_SOURCE	0	img_request	$0 [m]
NOCHECK_CALL
USER_DATA	0	img_request->pending.result	s32min-(-12),(-10)-(-1),1-s32max[c]
HALF_LOCKED2		&pool->lock

drivers/block/rbd.c rbd_obj_read_from_parent() -> rbd_img_request_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	img_request	4096-ptr_max
PARAM_VALUE	0	img_request->data_type	2-4
PARAM_VALUE	0	img_request->flags	0
PARAM_VALUE	0	img_request->obj_request	4096-ptr_max
PARAM_VALUE	0	img_request->obj_request->ex.oe_off	0-18446744073709551614
PARAM_VALUE	0	img_request->obj_request->img_request	4096-ptr_max
PARAM_VALUE	0	img_request->obj_request->num_img_extents	1-u32max
PARAM_VALUE	0	img_request->obj_request->state_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	img_request->obj_request->state_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	img_request->obj_request->state_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	img_request->op_type	1
PARAM_VALUE	0	img_request->pending.num_pending	0
PARAM_VALUE	0	img_request->pending.result	0
PARAM_VALUE	0	img_request->rbd_dev	4096-ptr_max
PARAM_VALUE	0	img_request->state	0
PARAM_VALUE	0	img_request->state_mutex.dep_map->name	0-255
PARAM_VALUE	0	img_request->state_mutex.first_waiter	0
PARAM_VALUE	0	img_request->state_mutex.magic	4096-ptr_max
PARAM_VALUE	0	img_request->work.data.counter	0
PARAM_VALUE	0	img_request->work.entry.next	0
PARAM_VALUE	0	img_request->work.entry.prev	0
PARAM_VALUE	0	img_request->work.func	0
PARAM_VALUE	0	img_request->work_result	0
BUF_SIZE	0	img_request->obj_request	(-1),1-s32max
CAPPED_DATA	0	img_request	1
CAPPED_DATA	0	img_request->obj_request->num_img_extents	1
DATA_SOURCE	0	img_request	r kmem_cache_alloc_noprof
MEM_ZERO	0	img_request
MEM_ZERO	0	img_request->rbd_dev
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	img_request->obj_request->num_img_extents
LOCK2		&obj_req->state_mutex
HALF_LOCKED2		&img_req->state_mutex
TYPE_LOCK		(struct rbd_obj_request)->state_mutex

drivers/block/rbd.c rbd_queue_workfn() -> rbd_img_request_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	img_request	4096-ptr_max
PARAM_VALUE	0	img_request->rbd_dev->header_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	img_request->rbd_dev->header_rwsem.first_waiter->type	0-1
CAPPED_DATA	0	img_request	1
NOCHECK_CALL
HALF_LOCKED2		&pool->lock