Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/mq-deadline.c dd_merged_requests() -> deadline_remove_request()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 q->elevator 4096-ptr_max
PARAM_VALUE 0 q->elevator->elevator_data 4096-ptr_max
PARAM_VALUE 0 q->elevator->type 4096-ptr_max
PARAM_VALUE 0 q->elevator->type->ops.bio_merge 2304830088731234304,5646488304077615104,9189069628194533376
PARAM_VALUE 0 q->elevator->type->ops.former_request 0,5856141775481593856
PARAM_VALUE 0 q->elevator->type->ops.next_request 0,4438127082229379072
PARAM_VALUE 0 q->elevator->type->ops.request_merge 0,7262173414340157440,9035274964479934464
PARAM_VALUE 0 q->elevator->type->ops.requests_merged 2416692152201900032,3740789317462564864
PARAM_VALUE 1 per_prio 4096-ptr_max
PARAM_VALUE 2 rq 4096-ptr_max
PARAM_VALUE 2 rq->bio 4096-ptr_max
CAPPED_DATA 2 &rq->queuelist 1
DATA_SOURCE 0 q $0
DATA_SOURCE 2 rq $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 q->last_merge->__sector 0-s32max[c]
HOST_DATA 2 rq->__data_len 1024-4294966272[c]
USER_DATA 2 rq->bio->bi_max_vecs 0-1024[c]
HALF_LOCKED2 &bfqd->lock
HALF_LOCKED2 &dd->lock
HALF_LOCKED2 irq

block/mq-deadline.c deadline_move_request() -> deadline_remove_request()

Type Parameter Key Value
PARAM_VALUE 1 per_prio 4096-ptr_max
PARAM_VALUE 1 per_prio->fifo_list 4096-ptr_max
PARAM_VALUE 1 per_prio->sort_list 4096-ptr_max
PARAM_VALUE 2 rq 4096-ptr_max
DATA_SOURCE 1 per_prio $1
DATA_SOURCE 2 rq $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &dd->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct deadline_data)->lock