Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/mtd/nand/spi/core.c spinand_cleanup() -> nanddev_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 nand 4096-ptr_max
PARAM_VALUE 0 nand->ecc.ctx.conf.engine_type 1-4
PARAM_VALUE 0 nand->ecc.engine 0,4096-ptr_max
PARAM_VALUE 0 nand->ecc.engine->dev->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 nand->ecc.engine->dev->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 *nand->ecc.ctx.priv->bch->a_log_tab 0-u16max
PARAM_VALUE 0 *nand->ecc.ctx.priv->bch->a_pow_tab 0-u16max
PARAM_VALUE 0 *nand->ecc.ctx.priv->bch->cache s32min-s32max
PARAM_VALUE 0 *nand->ecc.ctx.priv->bch->ecc_buf 0-4294967295
PARAM_VALUE 0 *nand->ecc.ctx.priv->bch->ecc_buf2 0-4294967295
PARAM_VALUE 0 *nand->ecc.ctx.priv->bch->mod8_tab 0-4294967295
PARAM_VALUE 0 *nand->ecc.ctx.priv->bch->syn 0-4294967295
PARAM_VALUE 0 *nand->ecc.ctx.priv->bch->xi_tab 0-4294967295
PARAM_VALUE 0 *nand->ecc.ctx.priv->calc_buf 0-255
PARAM_VALUE 0 *nand->ecc.ctx.priv->code_buf 0-255
PARAM_VALUE 0 *nand->ecc.ctx.priv->eccmask 0-255
PARAM_VALUE 0 *nand->ecc.ctx.priv->errloc 0-4294967295
PARAM_VALUE 0 *nand->ecc.ctx.priv->oobwithstat 0-255
PARAM_VALUE 0 *nand->ecc.ctx.priv->req_ctx.spare_databuf (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 nand 2640
DATA_SOURCE 0 nand r spinand_to_nand
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 nand->ecc.ctx.priv

drivers/mtd/nand/spi/core.c spinand_init() -> nanddev_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 nand 4096-ptr_max
PARAM_VALUE 0 nand->bbt.cache 16,4096-ptr_max
PARAM_VALUE 0 nand->ecc.defaults.engine_type 4
PARAM_VALUE 0 nand->ecc.ondie_engine 5714772075306463232
PARAM_VALUE 0 nand->ecc.user_conf.algo 0-3
PARAM_VALUE 0 nand->ecc.user_conf.engine_type 0-4
PARAM_VALUE 0 nand->ecc.user_conf.placement 0-2
PARAM_VALUE 0 nand->ecc.user_conf.step_size 0-s32max
PARAM_VALUE 0 nand->ecc.user_conf.strength 0-s32max
PARAM_VALUE 0 nand->mtd.dev.of_node 0,4096-ptr_max
PARAM_VALUE 0 nand->ops 1127675159685623808
PARAM_VALUE 0 nand->ops->erase 2145616741012197376
PARAM_VALUE 0 nand->ops->isbad 4230751433069776896
PARAM_VALUE 0 nand->ops->markbad 4545526569871687680
PARAM_VALUE 0 nand->rowconv.eraseblock_addr_shift 0-32
PARAM_VALUE 0 nand->rowconv.lun_addr_shift 0-64
PARAM_VALUE 0 *nand->ecc.ctx.priv->calc_buf 0-255
PARAM_VALUE 0 *nand->ecc.ctx.priv->code_buf 0-255
PARAM_VALUE 0 *nand->ecc.ctx.priv->oobwithstat 0-255
PARAM_VALUE 0 *nand->ecc.ctx.priv->req_ctx.spare_databuf (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 nand->ecc.ondie_engine 48
DATA_SOURCE 0 nand r mtd_to_nanddev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mtd/nand/raw/nand_base.c nand_cleanup() -> nanddev_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 nand 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex