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_read_page_cache() -> mtk_ecc_get_stats()

Type Parameter Key Value
PARAM_VALUE 0 ecc 4096-ptr_max
PARAM_VALUE 1 stats 4096-ptr_max
PARAM_VALUE 2 sectors 0-31
CAPPED_DATA 0 ecc->caps->num_ecc_strength 1
CAPPED_DATA 2 sectors 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &mem->spi->controller->bus_lock_mutex
LOCK2 &mem->spi->controller->io_mutex
LOCK2 0 &ecc->lock
HALF_LOCKED2 &at25->lock
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &spinand->lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct mtk_ecc)->lock
TYPE_LOCK (struct spi_controller)->bus_lock_mutex
TYPE_LOCK (struct spi_controller)->io_mutex

drivers/mtd/nand/raw/mtk_nand.c mtk_nfc_update_ecc_stats() -> mtk_ecc_get_stats()

Type Parameter Key Value
PARAM_VALUE 1 stats 4453540955058880512
PARAM_VALUE 2 sectors 0-31
CAPPED_DATA 2 sectors 1
DATA_SOURCE 2 sectors $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &nfc->ecc->lock
TYPE_LOCK (struct mtk_ecc)->lock