Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/bch.c bch_decode() -> load_ecc8()

Type Parameter Key Value
PARAM_VALUE 0 bch 4096-ptr_max
PARAM_VALUE 2 src 1-u64max
BUF_SIZE 2 src (-1),7
BUF_SIZE 2 src (-1),7
DATA_SOURCE 0 bch $0
DATA_SOURCE 2 src $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &docg3->cascade->lock

lib/bch.c bch_decode() -> load_ecc8()

Type Parameter Key Value
PARAM_VALUE 0 bch 4096-ptr_max
PARAM_VALUE 0 bch->ecc_buf 4096-ptr_max
PARAM_VALUE 2 src 1-u64max
BUF_SIZE 2 src (-1),7,13-14,20-21,39-42
BUF_SIZE 2 src (-1),7,13-14,20-21,39-42
DATA_SOURCE 0 bch $0
DATA_SOURCE 2 src $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 *src 0-255
USER_DATA 2 *src 0-255
USER_PTR 2 src

lib/bch.c bch_encode() -> load_ecc8()

Type Parameter Key Value
PARAM_VALUE 0 bch 4096-ptr_max
PARAM_VALUE 2 src 1-u64max
BUF_SIZE 0 bch (-1),136
BUF_SIZE 0 bch (-1),136
BUF_SIZE 2 src (-1)-s32max
BUF_SIZE 2 src (-1)-s32max
DATA_SOURCE 0 bch $0
DATA_SOURCE 2 src $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 bch->t