_req_mod identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/block/drbd/drbd_req.h, line 284 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/block/drbd/drbd_main.c _tl_restart() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device	4096-ptr_max
PARAM_VALUE	1	what	11,29
CAPPED_DATA	0	&req->tl_requests	1
DATA_SOURCE	1	what	$1
DATA_SOURCE	2	peer_device	r conn_peer_device
HARD_MAX	1	what	29
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		irq
HALF_LOCKED2		&connection->resource->req_lock
HALF_LOCKED2		&resource->req_lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_main.c tl_abort_disk_io() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device	4096-ptr_max
PARAM_VALUE	1	what	27
PARAM_VALUE	2	peer_device	0
CAPPED_DATA	0	req->device	1
CAPPED_DATA	0	&req->tl_requests	1
BIT_INFO	0	req->rq_state	0x1,0xffffffff
PREEMPT_ADD			<- disables preempt
NOCHECK_CALL
LOCK2		&connection->resource->req_lock
LOCK2		irq
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_main.c tl_release() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device	4096-ptr_max
PARAM_VALUE	1	what	19
CAPPED_DATA	0	req->epoch	1
CAPPED_DATA	0	&req->tl_requests	1
DATA_SOURCE	2	peer_device	r conn_peer_device
PREEMPT_ADD			<- disables preempt
NOCHECK_CALL
LOCK2		&connection->resource->req_lock
LOCK2		irq
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_req.c drbd_process_write_request() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device	4096-ptr_max
PARAM_VALUE	0	req->device->resource->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	req->i.size	0
PARAM_VALUE	0	req->master_bio	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.prev->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.prev->prev	4096-ptr_max
PARAM_VALUE	1	what	6
BUF_SIZE	0	req->device	s32min-(-1),1-s32max
BUF_SIZE	0	req->master_bio	(-1)-0,4,24,32,64,144-s32max
DATA_SOURCE	0	req	$0
DATA_SOURCE	2	peer_device	r first_peer_device
BIT_INFO	0	req->epoch	0x0,0x7fffffff
BIT_INFO	0	req->master_bio->bi_opf	0x0,0xffffffff
NOSPEC	0	req->i.sector
NOSPEC	0	req->master_bio->bi_iter.bi_sector
NOSPEC	0	req->master_bio->bi_iter.bi_size
NOSPEC	0	req->private_bio->bi_iter.bi_sector
NOSPEC	0	req->private_bio->bi_iter.bi_size
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
HOST_DATA	0	req->i.sector	0-u64max
HOST_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
HOST_DATA	0	req->master_bio->bi_iter.bi_size	1024-4294966272[c]
HOST_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
HOST_DATA	0	req->private_bio->bi_iter.bi_sector	0
HOST_DATA	0	req->private_bio->bi_iter.bi_size	0[c]
HOST_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->i.sector	0-u64max
USER_DATA	0	req->master_bio->bi_ioprio	0-u16max
USER_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
USER_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272
USER_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->private_bio->bi_ioprio	0-u16max
USER_DATA	0	req->private_bio->bi_iter.bi_sector	0
USER_DATA	0	req->private_bio->bi_iter.bi_size	0
USER_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bvec_pool.min_nr
LOCK2		&resource->req_lock
LOCK2		irq
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_req.c drbd_process_write_request() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device	4096-ptr_max
PARAM_VALUE	0	req->device->resource->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	req->i.size	1-u32max
PARAM_VALUE	0	req->master_bio	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.prev->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.prev->prev	4096-ptr_max
PARAM_VALUE	1	what	1
BUF_SIZE	0	req->device	s32min-(-1),1-s32max
BUF_SIZE	0	req->master_bio	(-1)-0,4,24,32,64,144-s32max
DATA_SOURCE	0	req	$0
DATA_SOURCE	2	peer_device	r first_peer_device
BIT_INFO	0	req->epoch	0x0,0x7fffffff
NOSPEC	0	req->i.sector
NOSPEC	0	req->i.size
NOSPEC	0	req->master_bio->bi_iter.bi_sector
NOSPEC	0	req->master_bio->bi_iter.bi_size
NOSPEC	0	req->private_bio->bi_iter.bi_sector
NOSPEC	0	req->private_bio->bi_iter.bi_size
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
HOST_DATA	0	req->i.sector	0-u64max
HOST_DATA	0	req->i.size	1024-s32max[c]
HOST_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
HOST_DATA	0	req->master_bio->bi_iter.bi_size	1024-4294966272[c]
HOST_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
HOST_DATA	0	req->private_bio->bi_iter.bi_sector	0
HOST_DATA	0	req->private_bio->bi_iter.bi_size	0[c]
HOST_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->i.sector	0-u64max
USER_DATA	0	req->i.size	512-4294966272
USER_DATA	0	req->master_bio->bi_ioprio	0-u16max
USER_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
USER_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272
USER_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->private_bio->bi_ioprio	0-u16max
USER_DATA	0	req->private_bio->bi_iter.bi_sector	0
USER_DATA	0	req->private_bio->bi_iter.bi_size	0
USER_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bvec_pool.min_nr
LOCK2		&resource->req_lock
LOCK2		irq
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_req.c drbd_process_write_request() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device->al_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	req->device->bm_io_work.w.list.next	4096-ptr_max
PARAM_VALUE	0	req->device->ov_last_oos_size	0
PARAM_VALUE	0	req->device->ov_last_oos_start	0
PARAM_VALUE	0	req->device->ov_start_sector	0,8-18446744073709551608
PARAM_VALUE	0	req->device->read_requests.rb_node	4096-ptr_max
PARAM_VALUE	0	req->device->resource->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	req->device->resync_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	req->device->resync_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	req->device->rs_last_sect_ev	0
PARAM_VALUE	0	req->device->write_requests.rb_node	4096-ptr_max
PARAM_VALUE	0	req->i.completed	1
PARAM_VALUE	0	req->i.rb.rb_left->rb_right	0
PARAM_VALUE	0	req->i.rb.rb_right->rb_left	0
PARAM_VALUE	0	req->req_pending_local.next->next	4096-ptr_max
PARAM_VALUE	0	req->req_pending_local.next->prev	4096-ptr_max
PARAM_VALUE	0	req->req_pending_local.prev->next	4096-ptr_max
PARAM_VALUE	0	req->req_pending_local.prev->prev	4096-ptr_max
PARAM_VALUE	0	req->req_pending_master_completion.next->prev	4096-ptr_max
PARAM_VALUE	0	req->req_pending_master_completion.prev->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next->prev	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.prev->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.prev->prev	4096-ptr_max
PARAM_VALUE	0	req->w.cb	379725370282639360,1891975603811028992,7080415726592770048
PARAM_VALUE	0	req->w.list.next	4096-ptr_max
PARAM_VALUE	1	what	3
PARAM_VALUE	2	peer_device	0,4096-ptr_max
DATA_SOURCE	0	req	$0
DATA_SOURCE	2	peer_device	r first_peer_device
NOSPEC	0	req->master_bio->bi_iter.bi_sector
NOSPEC	0	req->master_bio->bi_iter.bi_size
NOSPEC	0	req->private_bio->bi_iter.bi_sector
NOSPEC	0	req->private_bio->bi_iter.bi_size
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
HOST_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
HOST_DATA	0	req->master_bio->bi_iter.bi_size	1024-4294966272[c]
HOST_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
HOST_DATA	0	req->private_bio->bi_iter.bi_sector	0
HOST_DATA	0	req->private_bio->bi_iter.bi_size	0[c]
HOST_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->master_bio->bi_ioprio	0-u16max
USER_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
USER_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272
USER_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->private_bio->bi_ioprio	0-u16max
USER_DATA	0	req->private_bio->bi_iter.bi_sector	0
USER_DATA	0	req->private_bio->bi_iter.bi_size	0
USER_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bvec_pool.min_nr
LOCK2		&resource->req_lock
LOCK2		irq
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_req.c drbd_process_write_request() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device	4096-ptr_max
PARAM_VALUE	0	req->device->resource->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	req->i.size	1-134217728
PARAM_VALUE	0	req->master_bio	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.prev->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.prev->prev	4096-ptr_max
PARAM_VALUE	1	what	5
PARAM_VALUE	2	peer_device	4096-ptr_max
PARAM_VALUE	2	peer_device->device->al_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	peer_device->device->bitmap->bm_pages	0-s64max
PARAM_VALUE	2	peer_device->device->state.disk	1-15
BUF_SIZE	0	req->device	s32min-(-1),1-s32max
BUF_SIZE	0	req->master_bio	(-1)-0,4,24,32,64,144-s32max
CAPPED_DATA	2	peer_device->device->state.disk	1
CAPPED_DATA	2	peer_device->device->vdisk->part0->bd_nr_sectors	1
DATA_SOURCE	0	req	$0
DATA_SOURCE	2	peer_device	r first_peer_device
BIT_INFO	0	req->epoch	0x0,0x7fffffff
NOSPEC	0	req->i.sector
NOSPEC	0	req->i.size
NOSPEC	0	req->master_bio->bi_iter.bi_sector
NOSPEC	0	req->master_bio->bi_iter.bi_size
NOSPEC	0	req->private_bio->bi_iter.bi_sector
NOSPEC	0	req->private_bio->bi_iter.bi_size
PREEMPT_ADD
RX_PATH
NOCHECK_CALL
HOST_DATA	0	req->i.sector	0-u64max
HOST_DATA	0	req->i.size	1024-134217728[c]
HOST_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
HOST_DATA	0	req->master_bio->bi_iter.bi_size	1024-4294966272[c]
HOST_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
HOST_DATA	0	req->private_bio->bi_iter.bi_sector	0
HOST_DATA	0	req->private_bio->bi_iter.bi_size	0[c]
HOST_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->i.sector	0-u64max
USER_DATA	0	req->i.size	512-134217728
USER_DATA	0	req->master_bio->bi_ioprio	0-u16max
USER_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
USER_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272
USER_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->private_bio->bi_ioprio	0-u16max
USER_DATA	0	req->private_bio->bi_iter.bi_sector	0
USER_DATA	0	req->private_bio->bi_iter.bi_size	0
USER_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bvec_pool.min_nr
LOCK2		&resource->req_lock
LOCK2		irq
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_req.c drbd_send_and_submit() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device	4096-ptr_max
PARAM_VALUE	0	req->device->bitmap->bm_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	req->device->state.pdsk	8
PARAM_VALUE	0	req->master_bio	4096-ptr_max
PARAM_VALUE	0	req->private_bio	0
PARAM_VALUE	1	what	1
BUF_SIZE	0	req->device	s32min-(-1),1-s32max
BUF_SIZE	0	req->master_bio	(-1)-0,4,24,32,64,144-s32max
DATA_SOURCE	0	req	$1
DATA_SOURCE	2	peer_device	r first_peer_device
BIT_INFO	0	req->epoch	0x0,0x7fffffff
NOSPEC	0	req->i.sector
NOSPEC	0	req->i.size
NOSPEC	0	req->master_bio->bi_iter.bi_sector
NOSPEC	0	req->master_bio->bi_iter.bi_size
NOSPEC	0	req->private_bio->bi_iter.bi_sector
NOSPEC	0	req->private_bio->bi_iter.bi_size
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	req->i.sector	0-u64max
HOST_DATA	0	req->i.size	512-4294966272[c]
HOST_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
HOST_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272[c]
HOST_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
HOST_DATA	0	req->private_bio->bi_iter.bi_sector	0
HOST_DATA	0	req->private_bio->bi_iter.bi_size	0[c]
HOST_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->i.sector	0-u64max
USER_DATA	0	req->i.size	512-4294966272
USER_DATA	0	req->master_bio->bi_ioprio	0-u16max
USER_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
USER_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272
USER_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->private_bio->bi_ioprio	0-u16max
USER_DATA	0	req->private_bio->bi_iter.bi_sector	0
USER_DATA	0	req->private_bio->bi_iter.bi_size	0
USER_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bvec_pool.min_nr
LOCK2		&resource->req_lock
LOCK2		irq
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_req.c drbd_send_and_submit() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->device->al_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	req->device->bitmap->bm_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	req->device->bm_io_work.w.list.next	4096-ptr_max
PARAM_VALUE	0	req->device->ov_last_oos_size	0
PARAM_VALUE	0	req->device->ov_last_oos_start	0
PARAM_VALUE	0	req->device->ov_start_sector	0,8-18446744073709551608
PARAM_VALUE	0	req->device->read_requests.rb_node	4096-ptr_max
PARAM_VALUE	0	req->device->resync_timer.entry->pprev	4096-ptr_max
PARAM_VALUE	0	req->device->resync_timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	req->device->rs_last_sect_ev	0
PARAM_VALUE	0	req->device->state.pdsk	8
PARAM_VALUE	0	req->device->write_requests.rb_node	4096-ptr_max
PARAM_VALUE	0	req->i.completed	1
PARAM_VALUE	0	req->i.rb.rb_left->rb_right	0
PARAM_VALUE	0	req->i.rb.rb_right->rb_left	0
PARAM_VALUE	0	req->req_pending_local.next->next	4096-ptr_max
PARAM_VALUE	0	req->req_pending_local.next->prev	4096-ptr_max
PARAM_VALUE	0	req->req_pending_local.prev->next	4096-ptr_max
PARAM_VALUE	0	req->req_pending_local.prev->prev	4096-ptr_max
PARAM_VALUE	0	req->req_pending_master_completion.next->prev	4096-ptr_max
PARAM_VALUE	0	req->req_pending_master_completion.prev->next	4096-ptr_max
PARAM_VALUE	0	req->tl_requests.next->prev	4096-ptr_max
PARAM_VALUE	0	req->w.cb	379725370282639360,1891975603811028992,7080415726592770048
PARAM_VALUE	0	req->w.list.next	4096-ptr_max
PARAM_VALUE	1	what	4
PARAM_VALUE	2	peer_device	0,4096-ptr_max
DATA_SOURCE	0	req	$1
DATA_SOURCE	2	peer_device	r first_peer_device
NOSPEC	0	req->master_bio->bi_iter.bi_sector
NOSPEC	0	req->master_bio->bi_iter.bi_size
NOSPEC	0	req->private_bio->bi_iter.bi_sector
NOSPEC	0	req->private_bio->bi_iter.bi_size
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
HOST_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272[c]
HOST_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
HOST_DATA	0	req->private_bio->bi_iter.bi_sector	0
HOST_DATA	0	req->private_bio->bi_iter.bi_size	0[c]
HOST_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->master_bio->bi_ioprio	0-u16max
USER_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
USER_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272
USER_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->private_bio->bi_ioprio	0-u16max
USER_DATA	0	req->private_bio->bi_iter.bi_sector	0
USER_DATA	0	req->private_bio->bi_iter.bi_size	0
USER_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bvec_pool.min_nr
LOCK2		&resource->req_lock
LOCK2		irq
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_req.c drbd_send_and_submit() -> _req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->private_bio	1-u64max
PARAM_VALUE	1	what	2
PARAM_VALUE	2	peer_device	0
BUF_SIZE	0	req->device	s32min-(-1),1-s32max
BUF_SIZE	0	req->master_bio	(-1)-0,4,24,32,64,144-s32max
CAPPED_DATA	0	&req->req_pending_master_completion	1
DATA_SOURCE	0	req	$1
NOSPEC	0	req->i.sector
NOSPEC	0	req->i.size
NOSPEC	0	req->master_bio->bi_iter.bi_sector
NOSPEC	0	req->master_bio->bi_iter.bi_size
NOSPEC	0	req->private_bio->bi_iter.bi_sector
NOSPEC	0	req->private_bio->bi_iter.bi_size
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	req->i.sector	0-u64max
HOST_DATA	0	req->i.size	512-4294966272[c]
HOST_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
HOST_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272[c]
HOST_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
HOST_DATA	0	req->private_bio->bi_iter.bi_sector	0
HOST_DATA	0	req->private_bio->bi_iter.bi_size	0[c]
HOST_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->i.sector	0-u64max
USER_DATA	0	req->i.size	512-4294966272
USER_DATA	0	req->master_bio->bi_ioprio	0-u16max
USER_DATA	0	req->master_bio->bi_iter.bi_sector	0-u64max
USER_DATA	0	req->master_bio->bi_iter.bi_size	512-4294966272
USER_DATA	0	req->master_bio->bi_max_vecs	0-4,16,64,128,256[c]
USER_DATA	0	req->private_bio->bi_ioprio	0-u16max
USER_DATA	0	req->private_bio->bi_iter.bi_sector	0
USER_DATA	0	req->private_bio->bi_iter.bi_size	0
USER_DATA	0	req->private_bio->bi_max_vecs	0-4,16,64,128,256[c]
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	req->private_bio->bi_pool->bvec_pool.min_nr
LOCK2		&resource->req_lock
LOCK2		irq
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct drbd_resource)->req_lock