Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/ecc.c nand_ecc_cleanup_ctx() -> (struct nand_ecc_engine_ops)->cleanup_ctx()

Type Parameter Key Value
PARAM_VALUE 0 nand 4096-ptr_max
PARAM_VALUE 0 nand->ecc.engine 4096-ptr_max
PARAM_VALUE 0 nand->ecc.engine->ops 4096-ptr_max
PARAM_VALUE 0 nand->ecc.engine->ops->cleanup_ctx 4096-ptr_max
PARAM_VALUE 0 nand->ops->erase 0,2145616741012197376,5355711976263086080
PARAM_VALUE 0 nand->ops->isbad 0,4230751433069776896,8612460838360965120
PARAM_VALUE 0 nand->ops->markbad 0,4545526569871687680,7841708234825457664
BUF_SIZE 0 nand (-1),2640
BUF_SIZE 0 nand (-1),2640
BUF_SIZE 0 nand->ecc.ondie_engine (-1),48
DATA_SOURCE 0 nand $0
CONTAINER 0 -8-24-120-2488+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/spi/spi-mxic.c mxic_spi_mem_ecc_cleanup_ctx() -> (struct nand_ecc_engine_ops)->cleanup_ctx()

Type Parameter Key Value
PARAM_VALUE 0 nand 4096-ptr_max
PARAM_VALUE 0 nand->ecc.engine 4096-ptr_max
PARAM_VALUE 0 nand->ecc.engine->ops->cleanup_ctx 1-u64max
PARAM_VALUE 0 nand->ecc.engine->priv 4096-ptr_max
PARAM_VALUE 0 nand->ops->erase 0,2145616741012197376,5355711976263086080
PARAM_VALUE 0 nand->ops->isbad 0,4230751433069776896,8612460838360965120
PARAM_VALUE 0 nand->ops->markbad 0,4545526569871687680,7841708234825457664
BUF_SIZE 0 nand->ecc.ondie_engine (-1),48
DATA_SOURCE 0 nand $0
TASK_NOT_RUNNING
NOCHECK_CALL