Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/raw/omap2.c omap_nand_attach_chip() -> omap2_nand_ecc_check()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->data_in 0,926171250138042368,1477183293691752448,4455477750443974656,4951023558074679296
PARAM_VALUE 0 info->data_out 0,3164733997753499648,4969369539869188096,7590697381407404032,8410493836961173504
PARAM_VALUE 0 info->dma 0,4096-u64max
PARAM_VALUE 0 info->gpmc_irq_count 1-s32max
PARAM_VALUE 0 info->gpmc_irq_fifo 1-s32max
PARAM_VALUE 0 info->pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 info->pdev->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 info->pdev->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 info->xfer_type 0-3
BUF_SIZE 0 info->gpmc_irq_count s32min-(-1),1-s32max
BUF_SIZE 0 info->gpmc_irq_fifo s32min-(-1),1-s32max
DATA_SOURCE 0 info r mtd_to_omap
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock