Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/raid/raid6/tests/raid6_kunit.c test_recover() -> test_recover_one()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 1 nr_buffers 4-64
PARAM_VALUE 2 len 512-4607
PARAM_VALUE 3 faila 2-62
PARAM_VALUE 4 failb 3-63
CAPPED_DATA 1 nr_buffers 1
CAPPED_DATA 2 len 1
CAPPED_DATA 3 faila 1
CAPPED_DATA 4 failb 1
DATA_SOURCE 0 test $0
DATA_SOURCE 1 nr_buffers $1
DATA_SOURCE 2 len $2
PARAM_COMPARE 1 nr_buffers < $3
PARAM_COMPARE 3 faila > $1
NOCHECK_CALL

lib/raid/raid6/tests/raid6_kunit.c test_recover() -> test_recover_one()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 1 nr_buffers 4-64
PARAM_VALUE 2 len 512-4607
PARAM_VALUE 3 faila 0-61
PARAM_VALUE 4 failb 2-62
CAPPED_DATA 1 nr_buffers 1
CAPPED_DATA 2 len 1
CAPPED_DATA 3 faila 1
CAPPED_DATA 4 failb 1
DATA_SOURCE 0 test $0
DATA_SOURCE 1 nr_buffers $1
DATA_SOURCE 2 len $2
PARAM_COMPARE 1 nr_buffers < $4
PARAM_COMPARE 4 failb > $1
NOCHECK_CALL

lib/raid/raid6/tests/raid6_kunit.c test_recover() -> test_recover_one()

Type Parameter Key Value
PARAM_VALUE 0 test 4096-ptr_max
PARAM_VALUE 1 nr_buffers 4-64
PARAM_VALUE 2 len 512-4607
CAPPED_DATA 1 nr_buffers 1
CAPPED_DATA 2 len 1
CAPPED_DATA 3 faila 1
CAPPED_DATA 4 failb 1
DATA_SOURCE 0 test $0
DATA_SOURCE 1 nr_buffers $1
DATA_SOURCE 2 len $2
PARAM_COMPARE 3 faila != $4
PARAM_COMPARE 4 failb != $3
NOCHECK_CALL