drbd_md_sync_page_io 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 1421 (as a prototype)

Defined in 1 files as a function:

drivers/block/drbd/drbd_actlog.c, line 177 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/block/drbd/drbd_actlog.c __al_write_transaction() -> drbd_md_sync_page_io()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->act_log	4096-ptr_max
PARAM_VALUE	0	device->al_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->al_tr_cycle	s32min-(-2),0-s32max
PARAM_VALUE	0	device->bitmap	4096-ptr_max
PARAM_VALUE	0	device->bitmap->n_bitmap_hints	0-64
PARAM_VALUE	0	device->ldev	4096-ptr_max
PARAM_VALUE	0	device->md_io.current_use	2322461615860039680,8027704850769805312
PARAM_VALUE	0	device->md_sync_timer->entry.pprev	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->ov_last_oos_size	0
PARAM_VALUE	0	device->ov_last_oos_start	0
PARAM_VALUE	0	device->ov_start_sector	0,8-18446744073709551608
PARAM_VALUE	0	device->pending_bitmap_io.prev	4096-ptr_max
PARAM_VALUE	0	device->pending_bitmap_io.prev->next	4096-ptr_max
PARAM_VALUE	0	device->pending_bitmap_io.prev->next->next	4096-ptr_max
PARAM_VALUE	0	device->resource->req_lock.rlock.dep_map->name	0-255
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->resync_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	device->rs_last_sect_ev	0
PARAM_VALUE	0	device->state.disk	1-15
PARAM_VALUE	1	bdev	4096-ptr_max
PARAM_VALUE	3	op	1
BUF_SIZE	0	device->ldev	(-1),208
BUF_SIZE	0	device->resync	(-1),176
BUF_SIZE	0	device->rs_plan_s	(-1),12-s32max
BUF_SIZE	1	bdev	(-1),208
BUF_SIZE	1	bdev	(-1),208
CAPPED_DATA	0	device->al_tr_cycle	1
CAPPED_DATA	0	device->state.disk	1
CAPPED_DATA	0	&device->act_log->to_be_changed	1
DATA_SOURCE	0	device	$0
DATA_SOURCE	2	sector	r al_tr_number_to_on_disk_sector
FUZZY_MAX	0	device->al_tr_cycle	0
STR_LEN	0	device->resync->name	(-1),6
PARAM_COMPARE	0	device->act_log->nr_elements	>= $0->al_tr_cycle
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	device->act_log->nr_elements
NO_OVERFLOW_SIMPLE	0	device->resync->nr_elements
UNITS	0	device	unit_byte

drivers/block/drbd/drbd_main.c drbd_md_read() -> drbd_md_sync_page_io()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->md_io.current_use	7617782077979000832
PARAM_VALUE	0	device->md_io.in_use.counter	0-s32max
PARAM_VALUE	0	device->misc_wait.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	device->rs_failed	0
PARAM_VALUE	0	device->rs_pending_cnt.counter	0
PARAM_VALUE	0	device->rs_total	0
PARAM_VALUE	0	device->state.disk	0
PARAM_VALUE	0	device->vdisk->slave_bdevs.next	4096-ptr_max
PARAM_VALUE	0	device->vdisk->slave_bdevs.next->next	4096-ptr_max
PARAM_VALUE	0	device->vdisk->slave_bdevs.next->prev	4096-ptr_max
PARAM_VALUE	0	device->vdisk->slave_dir	1-u64max
PARAM_VALUE	1	bdev	4096-ptr_max
PARAM_VALUE	1	bdev->backing_bdev	4096-ptr_max
PARAM_VALUE	1	bdev->backing_bdev_file	4096-ptr_max
PARAM_VALUE	1	bdev->backing_bdev_file->__f_path.dentry	4096-ptr_max
PARAM_VALUE	1	bdev->backing_bdev_file->__f_path.mnt	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_cred	0,4096-ptr_max
PARAM_VALUE	1	bdev->backing_bdev_file->f_ep	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_flags	0,32768-u32max
PARAM_VALUE	1	bdev->backing_bdev_file->f_inode	4096-ptr_max
PARAM_VALUE	1	bdev->backing_bdev_file->f_iocb_flags	0,2,16,18,131072,131074,131088,131090
PARAM_VALUE	1	bdev->backing_bdev_file->f_mapping	4096-ptr_max
PARAM_VALUE	1	bdev->backing_bdev_file->f_mode	0,64-u32max
PARAM_VALUE	1	bdev->backing_bdev_file->f_op	8212791493360840704
PARAM_VALUE	1	bdev->backing_bdev_file->f_owner	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_pos	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_pos_lock.magic	4096-ptr_max
PARAM_VALUE	1	bdev->backing_bdev_file->f_ra.mmap_miss	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_ra.order	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_ra.prev_pos	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_ra.ra_pages	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_ra.size	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_ra.start	0
PARAM_VALUE	1	bdev->backing_bdev_file->f_sb_err	0
PARAM_VALUE	1	bdev->backing_bdev_file->private_data	0-ptr_max
PARAM_VALUE	1	bdev->disk_conf	4096-ptr_max
PARAM_VALUE	1	bdev->f_md_bdev	4096-ptr_max
PARAM_VALUE	1	bdev->f_md_bdev->__f_path.dentry	4096-ptr_max
PARAM_VALUE	1	bdev->f_md_bdev->__f_path.mnt	0
PARAM_VALUE	1	bdev->f_md_bdev->f_cred	0,4096-ptr_max
PARAM_VALUE	1	bdev->f_md_bdev->f_ep	0
PARAM_VALUE	1	bdev->f_md_bdev->f_flags	0,32768-u32max
PARAM_VALUE	1	bdev->f_md_bdev->f_inode	4096-ptr_max
PARAM_VALUE	1	bdev->f_md_bdev->f_iocb_flags	0,2,16,18,131072,131074,131088,131090
PARAM_VALUE	1	bdev->f_md_bdev->f_mapping	4096-ptr_max
PARAM_VALUE	1	bdev->f_md_bdev->f_mode	0,64-u32max
PARAM_VALUE	1	bdev->f_md_bdev->f_op	8212791493360840704
PARAM_VALUE	1	bdev->f_md_bdev->f_owner	0
PARAM_VALUE	1	bdev->f_md_bdev->f_pos	0
PARAM_VALUE	1	bdev->f_md_bdev->f_pos_lock.magic	4096-ptr_max
PARAM_VALUE	1	bdev->f_md_bdev->f_ra.async_size	0
PARAM_VALUE	1	bdev->f_md_bdev->f_ra.mmap_miss	0
PARAM_VALUE	1	bdev->f_md_bdev->f_ra.order	0
PARAM_VALUE	1	bdev->f_md_bdev->f_ra.prev_pos	0
PARAM_VALUE	1	bdev->f_md_bdev->f_ra.ra_pages	0
PARAM_VALUE	1	bdev->f_md_bdev->f_ra.size	0
PARAM_VALUE	1	bdev->f_md_bdev->f_ra.start	0
PARAM_VALUE	1	bdev->f_md_bdev->f_ref.refcnt.counter	0
PARAM_VALUE	1	bdev->f_md_bdev->f_sb_err	0
PARAM_VALUE	1	bdev->f_md_bdev->private_data	0-ptr_max
PARAM_VALUE	1	bdev->md.md_size_sect	8
PARAM_VALUE	1	bdev->md_bdev	4096-ptr_max
PARAM_VALUE	3	op	0
BUF_SIZE	1	bdev	208
BUF_SIZE	1	bdev->disk_conf	352
CAPPED_DATA	0	device	1
CAPPED_DATA	0	device->vdisk	1
DATA_SOURCE	0	device	$0
DATA_SOURCE	1	bdev	$1
DATA_SOURCE	2	sector	r drbd_md_ss
RX_PATH
TASK_NOT_RUNNING
USER_DATA	1	bdev->backing_bdev_file->f_flags	0,32768-u32max
USER_DATA	1	bdev->backing_bdev_file->f_mode	0,64-u32max[c]
USER_DATA	1	bdev->f_md_bdev->f_flags	0,32768-u32max
USER_DATA	1	bdev->f_md_bdev->f_mode	0,64-u32max[c]
LOCK2		&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
TYPE_LOCK		(struct drbd_resource)->adm_mutex

drivers/block/drbd/drbd_main.c drbd_md_write() -> drbd_md_sync_page_io()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->act_log	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->vdisk	4096-ptr_max
PARAM_VALUE	0	device->vdisk->part0	4096-ptr_max
PARAM_VALUE	1	bdev	4096-ptr_max
PARAM_VALUE	1	bdev->md.uuid	4096-ptr_max
PARAM_VALUE	3	op	1
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
BUF_SIZE	1	bdev	(-1),208
BUF_SIZE	1	bdev	(-1),208
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
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	0	device->state_mutex