Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/dmatest.c dmatest_alloc_test_data() -> __dmatest_free_test_data()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->aligned 0,16,4096-ptr_max
PARAM_VALUE 0 d->gfp_flags 1,3264
PARAM_VALUE 0 d->raw 16,4096-ptr_max
BUF_SIZE 0 d 32
BUF_SIZE 0 d->aligned 8
BUF_SIZE 0 d->raw 8
CAPPED_DATA 1 cnt 1
DATA_SOURCE 0 d $0
FUZZY_MAX 0 d->gfp_flags 3264
PARAM_COMPARE 0 d->cnt >= $1
PARAM_COMPARE 1 cnt <= $0->cnt
BIT_INFO 0 d->gfp_flags 0x0,0xcc1
HARD_MAX 0 d->gfp_flags 3264
NOCHECK_CALL
UNITS 1 cnt unit_array_size

drivers/dma/dmatest.c dmatest_free_test_data() -> __dmatest_free_test_data()

Type Parameter Key Value
PARAM_VALUE 0 d 4096-ptr_max
PARAM_VALUE 0 d->aligned 16,4096-ptr_max
PARAM_VALUE 0 d->gfp_flags 1,3264
PARAM_VALUE 0 d->raw 16,4096-ptr_max
BUF_SIZE 0 d 32
CAPPED_DATA 0 d->cnt 1
CAPPED_DATA 1 cnt 1
DATA_SOURCE 0 d $0
FUZZY_MAX 0 d->gfp_flags 3264
BIT_INFO 0 d->gfp_flags 0x0,0xcc1
HARD_MAX 0 d->gfp_flags 3264
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 d->cnt
NO_OVERFLOW_SIMPLE 1 cnt
UNITS 1 cnt unit_array_size
HALF_LOCKED2 bh