rbd_dev_update_size 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 4923 (as a function)

Referenced in 1 files:

drivers/block/rbd.c, line 6988

Smatch caller information:

drivers/block/rbd.c rbd_dev_update_header() -> rbd_dev_update_size()

Type	Parameter	Key	Value
PARAM_VALUE	0	rbd_dev	4096-ptr_max
PARAM_VALUE	0	rbd_dev->header.object_prefix	1-u64max
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->header_rwsem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	rbd_dev->header_rwsem.wait_lock.owner	(-1)
PARAM_VALUE	0	rbd_dev->header_rwsem.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	rbd_dev->image_format	1-2
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.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->spec	4096-ptr_max
PARAM_VALUE	0	rbd_dev->spec->snap_id	18446744073709551614
DATA_SOURCE	0	rbd_dev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&rbd_dev->header_rwsem
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2	0	&rbd_dev->lock_rwsem
TYPE_LOCK		(struct rbd_device)->header_rwsem