Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

block/blk-iocost.c iocg_kick_waitq() -> iocg_pay_debt()

Type Parameter Key Value
PARAM_VALUE 0 iocg 4096-ptr_max
PARAM_VALUE 0 iocg->abs_vdebt 1-u64max
PARAM_VALUE 0 iocg->ioc 4096-ptr_max
PARAM_VALUE 2 now 5497530922906451968,6482822333451345920,8240678478204813312
CAPPED_DATA 1 abs_vpay 1
CAPPED_DATA 1 abs_vpay 1
DATA_SOURCE 0 iocg $0
DATA_SOURCE 2 now $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &iocg->waitq.lock
HALF_LOCKED2 &ioc->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
HALF_LOCKED2 0 &iocg->ioc->lock
TYPE_LOCK (struct wait_queue_head)->lock