Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/cma.c cma_range_alloc() -> cma_bitmap_aligned_mask()

Type Parameter Key Value
PARAM_VALUE 0 cma 4096-ptr_max
PARAM_VALUE 1 align_order 0-8,18
BUF_SIZE 0 cma s32min-(-1),1-s32max
BUF_SIZE 0 cma s32min-(-1),1-s32max
CAPPED_DATA 1 align_order 1
DATA_SOURCE 0 cma $0
DATA_SOURCE 1 align_order $3
FUZZY_MAX 1 align_order 8
NOSPEC 0 cma->available_count
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 cma->available_count 0-u64max[c]
USER_DATA 0 cma->available_count 2-9223372039002259453[c][u]
NO_OVERFLOW_SIMPLE 0 cma->available_count