Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/memalloc.c bpf_mem_refill() -> alloc_bulk()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->free_cnt s32min-2147483646
PARAM_VALUE 0 c->low_watermark (-2147483647)-s32max
PARAM_VALUE 2 node (-1)
PARAM_VALUE 3 atomic 1
NOCHECK_CALL

kernel/bpf/memalloc.c prefill_mem_cache() -> alloc_bulk()

Type Parameter Key Value
PARAM_VALUE 0 c 4096-ptr_max
PARAM_VALUE 0 c->batch 1-69
PARAM_VALUE 0 c->high_watermark 3-96
PARAM_VALUE 0 c->low_watermark 1-32
PARAM_VALUE 0 c->objcg 0,4096-ptr_max
PARAM_VALUE 0 c->objcg->refcnt.percpu_count_ptr 1-u64max
PARAM_VALUE 0 c->percpu_size 0,16
PARAM_VALUE 0 c->tgt 4096-ptr_max
PARAM_VALUE 0 c->tgt->objcg 0,4096-ptr_max
PARAM_VALUE 0 c->tgt->percpu_size 0,16
PARAM_VALUE 0 c->tgt->tgt 4096-ptr_max
PARAM_VALUE 1 cnt 1,4
PARAM_VALUE 3 atomic 0
DATA_SOURCE 0 c $0
FUZZY_MAX 1 cnt 4
BIT_INFO 0 c->percpu_size 0x0,0x10
BIT_INFO 1 cnt 0x0,0x5
HARD_MAX 1 cnt 4
NOCHECK_CALL
USER_DATA 0 c->batch 2-69[c]
USER_DATA 0 c->high_watermark 4-95[c]
USER_DATA 0 c->low_watermark 2-31[c]
USER_DATA 0 c->tgt->unit_size s32min-s32max[c]
USER_DATA 0 c->unit_size s32min-s32max[c]
HALF_LOCKED2 global &bpf_percpu_ma_lock