Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/spi/spi-mtk-snfi.c mtk_snand_ecc_init_ctx() -> mtk_ecc_adjust_strength()

Type Parameter Key Value
PARAM_VALUE 0 ecc 4096-ptr_max
PARAM_VALUE 0 ecc->caps 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/spi/spi-mtk-snfi.c mtk_snand_ecc_init_ctx() -> mtk_ecc_adjust_strength()

Type Parameter Key Value
PARAM_VALUE 0 ecc 4096-ptr_max
PARAM_VALUE 0 ecc->caps 4096-ptr_max
PARAM_VALUE 0 ecc->caps->ecc_strength 4096-ptr_max
PARAM_VALUE 1 p 6413899135398965248
PARAM_VALUE 1 *p 0-254,u32max
CAPPED_DATA 0 ecc->caps->num_ecc_strength 1
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_ecc_init() -> mtk_ecc_adjust_strength()

Type Parameter Key Value
PARAM_VALUE 0 ecc->caps 0-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock