Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mtd/nand/raw/omap2.c omap_nand_data_in_irq_pref() -> omap_prefetch_reset()

Type Parameter Key Value
PARAM_VALUE 1 info 4096-ptr_max
BUF_SIZE 1 info->buf s32min-(-2),1-s32max
DATA_SOURCE 1 info r mtd_to_omap
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/omap2.c omap_nand_data_in_pref() -> omap_prefetch_reset()

Type Parameter Key Value
PARAM_VALUE 1 info 4096-ptr_max
DATA_SOURCE 1 info r mtd_to_omap
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/omap2.c omap_nand_data_out_irq_pref() -> omap_prefetch_reset()

Type Parameter Key Value
PARAM_VALUE 1 info 4096-ptr_max
BUF_SIZE 1 info->buf s32min-(-1),1-s32max
DATA_SOURCE 1 info r mtd_to_omap
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/omap2.c omap_nand_data_out_pref() -> omap_prefetch_reset()

Type Parameter Key Value
PARAM_VALUE 1 info 4096-ptr_max
DATA_SOURCE 1 info r mtd_to_omap
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock

drivers/mtd/nand/raw/omap2.c omap_nand_dma_transfer() -> omap_prefetch_reset()

Type Parameter Key Value
PARAM_VALUE 1 info 4096-ptr_max
CAPPED_DATA 1 info->dma->device->dev 1
DATA_SOURCE 1 info r mtd_to_omap
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &chip->controller->lock
HALF_LOCKED2 &chip->lock