Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/sbitmap.c sbitmap_queue_wake_up() -> __sbitmap_queue_wake_up()

Type Parameter Key Value
PARAM_VALUE 0 sbq 4096-ptr_max
PARAM_VALUE 0 sbq->wakeup_cnt.counter 0-s32max
PARAM_VALUE 0 sbq->ws_active.counter s32min-(-1),1-s32max
BUF_SIZE 0 sbq (-1),64
BUF_SIZE 0 sbq (-1),64
CAPPED_DATA 1 nr 1
DATA_SOURCE 0 sbq $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 sbq->min_shallow_depth 0-u32max
HOST_DATA 0 sbq->sb.depth 0-u32max
HOST_DATA 0 sbq->sb.map_nr 0-u32max
HOST_DATA 0 sbq->sb.round_robin 0-1
HOST_DATA 0 sbq->sb.shift 0-u32max
HOST_DATA 0 sbq->wake_batch 0-u32max
HOST_DATA 0 sbq->wake_index.counter s32min-s32max
HOST_DATA 0 sbq->ws_active.counter s32min-(-1),1-s32max
HOST_DATA 1 nr 1-s32max[c]
NO_OVERFLOW_SIMPLE 0 sbq->sb.depth