Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 mtd 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 3 sectors 0-31
BUF_SIZE 0 mtd (-1),2448
BUF_SIZE 0 mtd (-1),2448
CAPPED_DATA 1 buf 1
CAPPED_DATA 3 sectors 1
DATA_SOURCE 0 mtd $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &nfc->ecc->lock
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock
TYPE_LOCK (struct mtk_ecc)->lock