Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

block/kyber-iosched.c kyber_domain_wake() -> sbitmap_del_wait_queue()

Type Parameter Key Value
PARAM_VALUE 0 sbq_wait 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sci->sc_wait_request.lock
HALF_LOCKED2 &x->lock
HALF_LOCKED2 flags

block/kyber-iosched.c kyber_get_domain_token() -> sbitmap_del_wait_queue()

Type Parameter Key Value
PARAM_VALUE 0 sbq_wait 4096-ptr_max
CAPPED_DATA 0 &sbq_wait->wait.entry 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &khd->lock
LOCK2 &ws->wait.lock
LOCK2 irq
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct kyber_hctx_data)->lock
TYPE_LOCK (struct wait_queue_head)->lock