Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/blk-throttle.c __blk_throtl_bio() -> throtl_trim_slice()

Type Parameter Key Value
PARAM_VALUE 0 tg 4096-ptr_max
PARAM_VALUE 0 *tg->io_disp s32min-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &q->queue_lock
LOCK2 irq
LOCK2 rcu_read
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock
TYPE_LOCK (struct request_queue)->queue_lock

block/blk-throttle.c tg_dispatch_one_bio() -> throtl_trim_slice()

Type Parameter Key Value
PARAM_VALUE 0 tg 4096-ptr_max
PARAM_VALUE 0 tg->qnode_on_parent 4096-ptr_max
PARAM_VALUE 0 tg->service_queue.queued 4096-ptr_max
PARAM_VALUE 0 tg->td 4096-ptr_max
PARAM_VALUE 0 tg->td->nr_queued 4096-ptr_max
PARAM_VALUE 0 *tg->io_disp s32min-s32max
DATA_SOURCE 0 tg $0
DATA_SOURCE 1 rw $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &q->queue_lock
LOCK2 irq
TYPE_LOCK (struct request_queue)->queue_lock