drbd_print_uuids identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/block/drbd/drbd_int.h, line 1054 (as a prototype)

Defined in 1 files as a function:

drivers/block/drbd/drbd_main.c, line 846 (as a function)

Referenced in 5 files:

Smatch caller information:

drivers/block/drbd/drbd_state.c _drbd_set_state() -> drbd_print_uuids()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->resource	4096-ptr_max
PARAM_VALUE	0	device->vdisk->part0->bd_device.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	device->vdisk->part0->bd_device.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	device->vdisk->part0->bd_device.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	device->vdisk->queue->mq_kobj->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	device->vdisk->queue_kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	1	text	8783912674465472512
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device->ldev	(-1),208
BUF_SIZE	0	device->p_uuid	(-1),8
BUF_SIZE	0	device->resync	(-1)-134217728
BUF_SIZE	0	device->rs_plan_s	(-1),12-s32max
BUF_SIZE	1	text	18
CAPPED_DATA	0	device	1
CAPPED_DATA	0	device->resource->devices.idr_base	1
DATA_SOURCE	0	device	$0
STR_LEN	0	device	(-1),6,8,11-12,17,19-20,23,26-27,29,31-32
STR_LEN	0	device	(-1),6,8,11-12,17,19-20,23,26-27,29,31-32
STR_LEN	0	device->bm_io_work.why	(-1)
STR_LEN	0	device->resync->name	(-1),6
STR_LEN	1	text	17
TERMINATED	1	text	1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->act_log->lc_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	device->act_log->nr_elements
NO_OVERFLOW_SIMPLE	0	device->resync->lc_cache->sheaf_capacity
NO_OVERFLOW_SIMPLE	0	device->resync->nr_elements
UNITS	0	device	unit_byte
HALF_LOCKED2		&adm_ctx->resource->adm_mutex
HALF_LOCKED2		&device->resource->req_lock
HALF_LOCKED2		&resource->req_lock
HALF_LOCKED2		flags
HALF_LOCKED2		global &resources_mutex
HALF_LOCKED2		irq
HALF_LOCKED2		rcu_read
HALF_LOCKED2	0	device->state_mutex
HALF_LOCKED2	0	&device->resource->req_lock

drivers/block/drbd/drbd_nl.c drbd_nl_new_c_uuid_doit() -> drbd_print_uuids()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->act_log->free.next	4096-ptr_max
PARAM_VALUE	0	device->act_log->free.next->next	4096-ptr_max
PARAM_VALUE	0	device->bitmap->bm_change.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	device->bitmap->bm_change.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	device->bitmap->bm_change.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	device->bitmap->bm_change.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	device->bitmap->bm_change.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	device->bitmap->bm_change.osq.tail.counter	0-s32max
PARAM_VALUE	0	device->bitmap->bm_flags	0-4294967295
PARAM_VALUE	0	device->bitmap->bm_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->ldev	4096-ptr_max
PARAM_VALUE	0	device->ldev->md.uuid	4096-ptr_max
PARAM_VALUE	0	device->ldev->md.uuid_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->ldev->md_bdev	1-u64max
PARAM_VALUE	0	device->md_sync_timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	device->md_sync_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	device->md_sync_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	device->misc_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->misc_wait.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	device->resync_timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	device->resync_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	device->state_mutex->dep_map->name	0-255
PARAM_VALUE	0	device->state_mutex->first_waiter	0,4096-ptr_max
PARAM_VALUE	0	device->state_mutex->first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	device->state_mutex->osq.tail.counter	0-s32max
PARAM_VALUE	0	device->state_mutex->wait_lock.dep_map->name	0-255
PARAM_VALUE	0	device->state_mutex->wait_lock.owner	(-1)
PARAM_VALUE	0	device->state_mutex->wait_lock.owner_cpu	u32max
PARAM_VALUE	0	*device->bitmap->bm_why	0-255
PARAM_VALUE	1	text	2985630704664518656
BUF_SIZE	1	text	20
STR_LEN	0	device	19
TERMINATED	1	text	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&adm_ctx->resource->adm_mutex
LOCK2	0	device->state_mutex
HALF_LOCKED2		&dev->lock
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		global &audit_cmd_mutex.lock
HALF_LOCKED2		global &cb_lock
HALF_LOCKED2		global &crypto_cfg_mutex
HALF_LOCKED2		global &dpll_lock
HALF_LOCKED2		global &hwsim_phys_lock
HALF_LOCKED2		global &net_dm_mutex
HALF_LOCKED2		global &rtnl_mutex
HALF_LOCKED2		global &rx_queue_mutex
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct drbd_resource)->adm_mutex

drivers/block/drbd/drbd_main.c drbd_gen_and_send_sync_uuid() -> drbd_print_uuids()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->ldev	4096-ptr_max
PARAM_VALUE	0	device->ldev->md.uuid	4096-ptr_max
PARAM_VALUE	0	device->ldev->md.uuid_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->md_sync_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	device->md_sync_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	1	text	2463820296902598656
BUF_SIZE	1	text	18
STR_LEN	0	device	17
TERMINATED	1	text	1
NOCHECK_CALL
LOCK2		device->state_mutex

drivers/block/drbd/drbd_main.c drbd_uuid_new_current() -> drbd_print_uuids()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->ldev	4096-ptr_max
PARAM_VALUE	0	device->ldev->md.uuid	4096-ptr_max
PARAM_VALUE	0	device->ldev->md.uuid_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->md_sync_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	device->md_sync_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	1	text	3280532744677007360
BUF_SIZE	1	text	17
DATA_SOURCE	0	device	$0
STR_LEN	0	device	16
TERMINATED	1	text	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&adm_ctx->resource->adm_mutex
HALF_LOCKED2		rcu_read
HALF_LOCKED2	0	device->state_mutex

drivers/block/drbd/drbd_receiver.c receive_sync_uuid() -> drbd_print_uuids()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->ldev	4096-ptr_max
PARAM_VALUE	0	device->ldev->md.uuid_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->md_sync_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	device->md_sync_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	device->misc_wait.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->state.disk	1-15
PARAM_VALUE	1	text	8799452380081303552
BUF_SIZE	1	text	18
FUZZY_MAX	0	device->state.disk	3
STR_LEN	0	device	17
TERMINATED	1	text	1
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c receive_uuids() -> drbd_print_uuids()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state_mutex	4096-ptr_max
PARAM_VALUE	0	device->state_mutex->dep_map->name	0-255
PARAM_VALUE	0	device->state_mutex->first_waiter	0,4096-ptr_max
PARAM_VALUE	0	device->state_mutex->first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	device->state_mutex->first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	device->state_mutex->first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	device->state_mutex->first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	device->state_mutex->first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	device->state_mutex->first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	device->state_mutex->osq.tail.counter	0-s32max
PARAM_VALUE	0	device->state_mutex->wait_lock.dep_map->name	0-255
PARAM_VALUE	1	text	3472622469842558976
BUF_SIZE	0	device->p_uuid	8,u64max
BUF_SIZE	1	text	26
CAPPED_DATA	0	device->state_mutex	1
STR_LEN	0	device	25
TERMINATED	1	text	1
NOCHECK_CALL

drivers/block/drbd/drbd_worker.c drbd_resync_finished() -> drbd_print_uuids()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->al_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->ldev	4096-ptr_max
PARAM_VALUE	0	device->ldev->md.uuid_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->resource	4096-ptr_max
PARAM_VALUE	0	device->resource->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->resync->free.next	4096-ptr_max
PARAM_VALUE	0	device->resync->free.next->next	4096-ptr_max
PARAM_VALUE	0	device->resync->free.next->prev	4096-ptr_max
PARAM_VALUE	0	device->resync_wenr	u32max
PARAM_VALUE	0	device->rs_failed	0
PARAM_VALUE	0	device->state.disk	1-15
PARAM_VALUE	1	text	8188356438040322048
BUF_SIZE	1	text	14
CAPPED_DATA	0	device->state.disk	1
STR_LEN	0	device	13
TERMINATED	1	text	1
PREEMPT_ADD			<- disables preempt
NOCHECK_CALL
LOCK2		irq
LOCK2	0	&device->resource->req_lock
HALF_LOCKED2		device->state_mutex
TYPE_LOCK		(struct drbd_resource)->req_lock