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_get_domain_token() -> sbitmap_add_wait_queue()

Type Parameter Key Value
PARAM_VALUE 0 sbq 4096-ptr_max
PARAM_VALUE 0 sbq->sb->alloc_hint 0-u32max
PARAM_VALUE 0 sbq->sb.alloc_hint 0,4096-ptr_max
PARAM_VALUE 1 ws 4096-ptr_max
PARAM_VALUE 2 sbq_wait 4096-ptr_max
CAPPED_DATA 2 sbq_wait->wait.entry.next 1
CAPPED_DATA 2 &sbq_wait->wait.entry 1
DATA_SOURCE 1 ws r sbq_wait_ptr
PARAM_COMPARE 2 sbq_wait->wait.entry.next == $2->wait.entry.prev
PARAM_COMPARE 2 &sbq_wait->wait.entry == $2->wait.entry.next
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &khd->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct kyber_hctx_data)->lock