__req_mod identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/block/drbd/drbd_req.h, line 269 (as a prototype)

Defined in 1 files as a function:

drivers/block/drbd/drbd_req.c, line 560 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/block/drbd/drbd_main.c _req_mod() -> __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,19,27,29
PARAM_VALUE	3	m	330807997364953088
CAPPED_DATA	0	req->device	1
DATA_SOURCE	0	req	$0
DATA_SOURCE	1	what	$1
DATA_SOURCE	2	peer_device	$2
HARD_MAX	1	what	29
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2		irq
HALF_LOCKED2		&connection->resource->req_lock
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_receiver.c fail_postponed_requests() -> __req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->rq_state	0-4294836223
PARAM_VALUE	1	what	18
PARAM_VALUE	3	m	820207227139108864
DATA_SOURCE	2	peer_device	r first_peer_device
BIT_INFO	0	req->rq_state	0x0,0xfffdffff
PREEMPT_ADD
NOCHECK_CALL
LOCK2		&device->resource->req_lock
LOCK2		irq
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_receiver.c req_mod() -> __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->i.local	1
PARAM_VALUE	1	what	20
PARAM_VALUE	2	peer_device	4096-ptr_max
PARAM_VALUE	2	peer_device->connection	4096-ptr_max
PARAM_VALUE	2	peer_device->connection->data.socket->sk->__sk_common.skc_u16hashes	0-u32max
PARAM_VALUE	2	peer_device->connection->data.socket->sk->listener->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	peer_device->connection->data.socket->sk->listener->ns_tracker->dead	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->listener->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	peer_device->connection->data.socket->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	2	peer_device->connection->data.socket->sk->ns_tracker->dead	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.function	1626621062881370112
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_filter->rcu.entry.next	s64max
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_filter->rcu.flags	0-4294967295
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_filter->rcu.function	1626621062881370112
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_filter->rcu.is_hard	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_filter->rcu.is_lazy	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_filter->rcu.is_soft	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_lock.wq.head.prev	4096-ptr_max
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_memcg->high_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_memcg->high_work.function	1626621062881370112
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_memcg->high_work.is_queued	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_memcg->swap.low	0,2251799813685247
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_memcg->swap.min	0,2251799813685247
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_protocol	0-255
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_rcu.flags	0-4294967295
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.entry.next	s64max
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_hard	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_lazy	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_soft	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_user_data->work.is_hard	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_user_data->work.is_lazy	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_user_data->work.is_queued	0-1
PARAM_VALUE	2	peer_device->connection->data.socket->sk->sk_user_data->work.is_soft	0-1
PARAM_VALUE	2	peer_device->device	4096-ptr_max
PARAM_VALUE	2	peer_device->device->read_requests.rb_node	1-u64max
PARAM_VALUE	2	peer_device->device->resource	4096-ptr_max
PARAM_VALUE	2	peer_device->device->resource->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	*peer_device->connection->data->socket->sk->private	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	2	*peer_device->connection->data->socket->sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	2	*peer_device->connection->int_dig_vv	0-255
PARAM_VALUE	3	m	8961586008754790400
DATA_SOURCE	0	req	$0
DATA_SOURCE	1	what	$1
DATA_SOURCE	2	peer_device	$2
PREEMPT_ADD			<- disables preempt
LOCK2		&device->resource->req_lock
LOCK2		flags
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_receiver.c restart_conflicting_writes() -> __req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	1	what	16
PARAM_VALUE	2	peer_device	0
PARAM_VALUE	3	m	0
BIT_INFO	0	req->rq_state	0x20000,0xfffffffe
PREEMPT_ADD
NOCHECK_CALL
LOCK2		&device->resource->req_lock
LOCK2		irq
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_receiver.c validate_req_change_req_state() -> __req_mod()

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	0	req->i.local	1
PARAM_VALUE	1	what	13-18
PARAM_VALUE	2	peer_device	4096-ptr_max
PARAM_VALUE	2	peer_device->connection	4096-ptr_max
PARAM_VALUE	2	peer_device->device	4096-ptr_max
PARAM_VALUE	2	peer_device->device->peer_seq_lock.rlock.dep_map->name	0-255
PARAM_VALUE	2	peer_device->device->resource	4096-ptr_max
PARAM_VALUE	2	peer_device->device->resource->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	3	m	3394005987010129920
DATA_SOURCE	0	req	$1
DATA_SOURCE	1	what	$5
DATA_SOURCE	2	peer_device	$0
FUZZY_MAX	1	what	17
HARD_MAX	1	what	18
PREEMPT_ADD			<- disables preempt
NOCHECK_CALL
LOCK2		&device->resource->req_lock
LOCK2		irq
TYPE_LOCK		(struct drbd_resource)->req_lock

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

Type	Parameter	Key	Value
PARAM_VALUE	0	req	4096-ptr_max
PARAM_VALUE	1	what	1-6
PARAM_VALUE	3	m	6852914555379494912
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	1	what	$1
DATA_SOURCE	2	peer_device	$2
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
HARD_MAX	1	what	6
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	req->i.sector	0-u64max
HOST_DATA	0	req->i.size	1024-4294966272[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-u64max
HOST_DATA	0	req->private_bio->bi_iter.bi_size	0-u32max[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	0-u32max
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	0-u32max
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-u64max
USER_DATA	0	req->private_bio->bi_iter.bi_size	0-u32max
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_worker.c drbd_request_endio() -> __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->private_bio	0,(-4095)-(-1)
PARAM_VALUE	1	what	21-26
PARAM_VALUE	2	peer_device	0
PARAM_VALUE	3	m	2389988586778112000
BUF_SIZE	0	req	(-1)-s32max
BUF_SIZE	0	req	(-1)-s32max
FUZZY_MAX	1	what	26
STR_LEN	0	req	(-1),8,11-12,14,17,19-20,23,26-27,29,31-32
STR_LEN	0	req	(-1),8,11-12,14,17,19-20,23,26-27,29,31-32
BIT_INFO	0	req->rq_state	0x0,0xffffffff
BIT_INFO	1	what	0x10,0x1f
HARD_MAX	1	what	26
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&device->resource->req_lock
LOCK2		flags
TYPE_LOCK		(struct drbd_resource)->req_lock

drivers/block/drbd/drbd_worker.c req_mod() -> __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	7-10
PARAM_VALUE	2	peer_device	4096-ptr_max
PARAM_VALUE	3	m	570962483467636736
DATA_SOURCE	0	req	$0
DATA_SOURCE	1	what	$1
DATA_SOURCE	2	peer_device	$2
FUZZY_MAX	1	what	9
HARD_MAX	1	what	10
PREEMPT_ADD			<- disables preempt
LOCK2		&device->resource->req_lock
LOCK2		flags
TYPE_LOCK		(struct drbd_resource)->req_lock