Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/dma/debug.c debug_dma_map_sg() -> check_sg_segment()

Type Parameter Key Value
PARAM_VALUE 0 dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 sg 4096-ptr_max
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 0 dev (-1),1616
BUF_SIZE 1 sg (-1),32,64,4096
BUF_SIZE 1 sg (-1),32,64,4096
CAPPED_DATA 0 dev->cma_area->nranges 1
DATA_SOURCE 0 dev $0
NOSPEC 1 sg->length
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 sg->dma_address 0-18446744073709551614
HOST_DATA 1 sg->length 0,4096-u32max[c]
USER_DATA 1 sg->length 0,4096-u32max[c]
NO_OVERFLOW_SIMPLE 0 dev->cma_area->available_count
UNITS 0 dev unit_byte
UNITS 1 sg unit_byte
HALF_LOCKED2 __flags