drbd_device_post_work identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/block/drbd/drbd_int.h, line 1814 (as a function)

Referenced in 4 files:

Smatch caller information:

drivers/block/drbd/drbd_bitmap.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
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->state.disk	0
PARAM_VALUE	1	work_bit	24
DATA_SOURCE	0	device	$0
STR_LEN	0	device->resync->name	(-1)
RX_PATH
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->act_log->nr_elements
NO_OVERFLOW_SIMPLE	0	device->resync->nr_elements

drivers/block/drbd/drbd_bitmap.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
PARAM_VALUE	1	work_bit	23
BUF_SIZE	0	device->ldev	(-1),208
BUF_SIZE	0	device->resync	(-1),176
BUF_SIZE	0	device->rs_plan_s	(-1),12-s32max
DATA_SOURCE	0	device	$0
STR_LEN	0	device->resync->name	(-1),6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	device->minor	0-1048575
NO_OVERFLOW_SIMPLE	0	device->act_log->nr_elements
NO_OVERFLOW_SIMPLE	0	device->resync->nr_elements
HALF_LOCKED2	0	device->state_mutex
HALF_LOCKED2	0	&device->resource->req_lock

drivers/block/drbd/drbd_debugfs.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	1	work_bit	24
BUF_SIZE	0	device	s32min-(-2),1-s32max
BUF_SIZE	0	device	s32min-(-2),1-s32max
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	device	unit_array_size
LOCK2		&m->lock
TYPE_LOCK		(struct seq_file)->lock

drivers/block/drbd/drbd_debugfs.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
PARAM_VALUE	1	work_bit	23
BUF_SIZE	0	device	s32min-(-2),1-s32max
BUF_SIZE	0	device	s32min-(-2),1-s32max
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	device	unit_array_size
LOCK2		&m->lock
TYPE_LOCK		(struct seq_file)->lock

drivers/block/drbd/drbd_state.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->ldev	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	work_bit	24
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device->ldev	(-1),72,208,352,424
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
CAPPED_DATA	0	device	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->resync->name	(-1),6
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		flags
HALF_LOCKED2		irq
HALF_LOCKED2		rcu_read
HALF_LOCKED2	0	device->state_mutex
HALF_LOCKED2	0	&device->resource->req_lock

drivers/block/drbd/drbd_state.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->ldev	4096-ptr_max
PARAM_VALUE	0	device->resource	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
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	work_bit	23
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device->ldev	(-1),72,208,352,424
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
CAPPED_DATA	0	device	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->resync->name	(-1),6
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		flags
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 put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	0
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	work_bit	24
BUF_SIZE	0	device->ldev	(-1),208
BUF_SIZE	0	device->resync	(-1),176
BUF_SIZE	0	device->rs_plan_s	(-1),12-s32max
CAPPED_DATA	0	device	1
DATA_SOURCE	0	device	$0
STR_LEN	0	device	(-1)
STR_LEN	0	device	(-1)
STR_LEN	0	device->resync->name	(-1),6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->act_log->nr_elements
NO_OVERFLOW_SIMPLE	0	device->resync->nr_elements
HALF_LOCKED2		&adm_ctx->resource->adm_mutex
HALF_LOCKED2		&dev->lock
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&net->xfrm.xfrm_cfg_mutex
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	0	device->state_mutex

drivers/block/drbd/drbd_nl.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
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	work_bit	23
BUF_SIZE	0	device->ldev	(-1),208
BUF_SIZE	0	device->resync	(-1),176
BUF_SIZE	0	device->rs_plan_s	(-1),12-s32max
CAPPED_DATA	0	device	1
DATA_SOURCE	0	device	$0
STR_LEN	0	device	(-1),8,11,17,19-20
STR_LEN	0	device	(-1),8,11,17,19-20
STR_LEN	0	device->resync->name	(-1),6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	device->act_log->nr_elements
NO_OVERFLOW_SIMPLE	0	device->resync->nr_elements
HALF_LOCKED2		&adm_ctx->resource->adm_mutex
HALF_LOCKED2		rcu_read
HALF_LOCKED2	0	device->state_mutex

drivers/block/drbd/drbd_actlog.c maybe_schedule_on_disk_bitmap_update() -> drbd_device_post_work()

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->resync	4096-ptr_max
PARAM_VALUE	0	device->resync->nr_elements	1-u32max
PARAM_VALUE	0	device->state.disk	1-15
PARAM_VALUE	0	device->vdisk	4096-ptr_max
PARAM_VALUE	0	device->vdisk->part0	4096-ptr_max
PARAM_VALUE	1	work_bit	27
CAPPED_DATA	0	device->state.disk	1
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&device->resource->req_lock
HALF_LOCKED2		&resource->req_lock
HALF_LOCKED2		flags
HALF_LOCKED2		irq

drivers/block/drbd/drbd_actlog.c put_ldev() -> drbd_device_post_work()

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	1	work_bit	24
CAPPED_DATA	0	device->state.disk	1
DATA_SOURCE	0	device	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	device	unit_byte
HALF_LOCKED2		irq
HALF_LOCKED2	0	&device->al_lock

drivers/block/drbd/drbd_actlog.c put_ldev() -> drbd_device_post_work()

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->state.disk	2
PARAM_VALUE	1	work_bit	23
DATA_SOURCE	0	device	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	device	unit_byte
HALF_LOCKED2		irq
HALF_LOCKED2	0	&device->al_lock

drivers/block/drbd/drbd_main.c md_sync_timer_fn() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	1	work_bit	25
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/block/drbd/drbd_main.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
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_kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	1	work_bit	24
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device->ldev	(-1),72,208,352,424
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
CAPPED_DATA	0	device	1
CAPPED_DATA	0	device->state.disk	1
DATA_SOURCE	0	device	$0
STR_LEN	0	device	(-1),6,8,11-13,16-17,19-20,23,25-27,29,31-32
STR_LEN	0	device	(-1),6,8,11-13,16-17,19-20,23,25-27,29,31-32
STR_LEN	0	device->resync->name	(-1),6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	device->minor	0-1048575
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		&sock->mutex
HALF_LOCKED2		rcu_read
HALF_LOCKED2	0	device->state_mutex
HALF_LOCKED2	0	&device->resource->req_lock

drivers/block/drbd/drbd_main.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
PARAM_VALUE	0	device->vdisk	4096-ptr_max
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_kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	1	work_bit	23
BUF_SIZE	0	device->ldev	(-1),208
BUF_SIZE	0	device->p_uuid	(-1),8
BUF_SIZE	0	device->resync	(-1),176
BUF_SIZE	0	device->rs_plan_s	(-1),12-s32max
CAPPED_DATA	0	device	1
DATA_SOURCE	0	device	$0
STR_LEN	0	device	(-1),8,11-12,17,19-20,23,26-27,29,31-32
STR_LEN	0	device	(-1),8,11-12,17,19-20,23,26-27,29,31-32
STR_LEN	0	device->resync->name	(-1),6
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
HALF_LOCKED2		&adm_ctx->resource->adm_mutex
HALF_LOCKED2		&sock->mutex
HALF_LOCKED2		device->state_mutex
HALF_LOCKED2	0	device->state_mutex

drivers/block/drbd/drbd_receiver.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	0
PARAM_VALUE	1	work_bit	24
BUF_SIZE	0	device->p_uuid	(-1),8
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&connection->resource->conf_update

drivers/block/drbd/drbd_receiver.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
PARAM_VALUE	1	work_bit	23
BUF_SIZE	0	device->p_uuid	(-1),8
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&connection->resource->conf_update
HALF_LOCKED2		rcu_read

drivers/block/drbd/drbd_req.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	0
PARAM_VALUE	1	work_bit	24
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device	s32min-(-1),1-s32max
DATA_SOURCE	0	device	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	device	unit_byte
LOCK2		&resource->req_lock
LOCK2		irq
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_req.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
PARAM_VALUE	1	work_bit	23
BUF_SIZE	0	device	s32min-(-1),1-s32max
BUF_SIZE	0	device	s32min-(-1),1-s32max
DATA_SOURCE	0	device	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	device	unit_byte
HALF_LOCKED2		&resource->req_lock
HALF_LOCKED2		irq
HALF_LOCKED2		rcu_read

drivers/block/drbd/drbd_proc.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->act_log	4096-ptr_max
PARAM_VALUE	0	device->resync	4096-ptr_max
PARAM_VALUE	1	work_bit	24
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&seq->lock
LOCK2		rcu_read
TYPE_LOCK		(struct seq_file)->lock

drivers/block/drbd/drbd_proc.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->act_log	4096-ptr_max
PARAM_VALUE	0	device->resync	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
PARAM_VALUE	1	work_bit	23
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&seq->lock
LOCK2		rcu_read
TYPE_LOCK		(struct seq_file)->lock

drivers/block/drbd/drbd_worker.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	0
PARAM_VALUE	1	work_bit	24
BUF_SIZE	0	device	(-1)-s32max
BUF_SIZE	0	device	(-1)-s32max
DATA_SOURCE	0	device	$0
STR_LEN	0	device	(-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN	0	device	(-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	device	unit_byte
HALF_LOCKED2	0	device->state_mutex

drivers/block/drbd/drbd_worker.c put_ldev() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->state.disk	2
PARAM_VALUE	1	work_bit	23
BUF_SIZE	0	device	(-1)-s32max
BUF_SIZE	0	device	(-1)-s32max
DATA_SOURCE	0	device	$0
STR_LEN	0	device	(-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN	0	device	(-1),8,11-12,14,17,19-20,23,26-27,29,31-32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	device	unit_byte
HALF_LOCKED2	0	device->state_mutex

drivers/block/drbd/drbd_worker.c start_resync_timer_fn() -> drbd_device_post_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	1	work_bit	26
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL